Symbol: ATGE_PUT32