(let ((type indexed_string (record (index int) (value string)))
      (type
       indexed_string_list
       (record (head indexed_string) (tail indexed_string_list))))
  1)