Symbol: int_get_new_index