Immediate operands of the pushw instruction were being output as 32 bits, rather than the 16 bits they were supposed to be.