Symbol: int_match