# Test of Pop semantics for Y86
	irmovl $0x100,%esp  # Initialize stack pointer
	irmovl $0xABCD,%eax 
	pushl  %eax         # Put known value on stack
	popl   %esp         # Either get 0xABCD, or 0xfc
	halt
