How to get NASM to encode push with a sign-extended 16-bit immediate? When assembling the following with nasm:
