int -> index_type