	      irmovq $1, %rsi
	      irmovq $2, %rdi
	      irmovq $4, %rbp
	      irmovq $-32, %rax
	      irmovq $64, %rdx
	      subq %rdx,%rax
	      je target
	      nop
              halt
target:
	      addq %rsi,%rdx
	      nop
              nop
              nop
	      halt
