Symbol: AddInt32