Symbol: int_typedef