Symbol: IXDR_PUT_INT32