PUT32 is PUT_32.