Symbol: int_find