.code push 0x000000000000000000000d