                      | # Test of Pop semantics for Y86
  0x000: 30f400010000 | 	irmovl $0x100,%esp  # Initialize stack pointer
  0x006: 30f0cdab0000 | 	irmovl $0xABCD,%eax 
  0x00c: a00f         | 	pushl  %eax         # Put known value on stack
  0x00e: b04f         | 	popl   %esp         # Either get 0xABCD, or 0xfc
  0x010: 00           | 	halt
