| # Test of Push semantics for Y86-64
0x000: 30f40001000000000000 | 	irmovq $0x100,%rsp  # Initialize stack pointer
0x00a: 2040                 | 	rrmovq %rsp,%rax    # Save stack pointer
0x00c: a04f                 | 	pushq %rsp          # Push the stack pointer (old or new?)
0x00e: b02f                 | 	popq  %rdx          # Get it back
0x010: 6120                 | 	subq  %rdx,%rax     # Compute difference.  Either 0 (old) or 4 (new).
0x012: 00                   | 	halt