Keep in mind that on 64-bit, PUSH/POP will push/pop 64 bits, not 32 bits. Not that it matter much here probably.