(bits 16)

(text
 (alt (if (inv (alt (nop)
		    z!
		    (inv (nop))
		    ge!))
	  (inv (nop))
	  (nop))
      (nop)))

; 00000000  90                nop
; 00000001  EB08              jmp short 0xb
; 00000003  7406              jz 0xb
; 00000005  90                nop
; 00000006  7D03              jnl 0xb
; 00000008  90                nop
; 00000009  EB03              jmp short 0xe
; 0000000B  90                nop
; 0000000C  EB01              jmp short 0xf
; 0000000E  90                nop