Symbol: int_function