Symbol: aint2_t