(* JMP jmp_lbl *)
val _ = x86_test "E93A000000"
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484C0")];

(* JMP jmp_lbl *)
val _ = x86_test "E923000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A9")];

(* JMP jmp_lbl *)
val _ = x86_test "E928000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484AE")];

(* JMP jmp_lbl *)
val _ = x86_test "E931000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B7")];

(* JMP jmp_lbl *)
val _ = x86_test "E925000000"
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AB")];

(* JMP jmp_lbl *)
val _ = x86_test "E937000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484BD")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E937000000"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","080484BD")];

(* JMP jmp_lbl *)
val _ = x86_test "E92C000000"
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B2")];

(* JMP jmp_lbl *)
val _ = x86_test "E930000000"
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B6")];

(* JMP jmp_lbl *)
val _ = x86_test "E924000000"
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AA")];

(* JMP jmp_lbl *)
val _ = x86_test "E92B000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484B1")];

(* JMP jmp_lbl *)
val _ = x86_test "E920000000"
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A6")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E92F000000"
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484B5")];

(* JMP jmp_lbl *)
val _ = x86_test "E937000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484BD")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E923000000"
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A9")];

(* JMP jmp_lbl *)
val _ = x86_test "E930000000"
   [("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B6")];

(* JMP jmp_lbl *)
val _ = x86_test "E92A000000"
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B0")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E927000000"
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AD")];

(* JMP jmp_lbl *)
val _ = x86_test "E930000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B6")];

(* JMP jmp_lbl *)
val _ = x86_test "E92C000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B2")];

(* JMP jmp_lbl *)
val _ = x86_test "E936000000"
   [("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484BC")];

(* JMP jmp_lbl *)
val _ = x86_test "E92C000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484B2")];

(* JMP jmp_lbl *)
val _ = x86_test "E92D000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484B3")];

(* JMP jmp_lbl *)
val _ = x86_test "E936000000"
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484BC")];

(* JMP jmp_lbl *)
val _ = x86_test "E921000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484A7")];

(* JMP jmp_lbl *)
val _ = x86_test "E91E000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A4")];

(* JMP jmp_lbl *)
val _ = x86_test "E929000000"
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* JMP jmp_lbl *)
val _ = x86_test "E928000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AE")];

(* JMP jmp_lbl *)
val _ = x86_test "E93B000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484C1")];

(* JMP jmp_lbl *)
val _ = x86_test "E92A000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B0")];

(* JMP jmp_lbl *)
val _ = x86_test "E925000000"
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* JMP jmp_lbl *)
val _ = x86_test "E928000000"
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AE")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E934000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484BA")];

(* JMP jmp_lbl *)
val _ = x86_test "E927000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AD")];

(* JMP jmp_lbl *)
val _ = x86_test "E92B000000"
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* JMP jmp_lbl *)
val _ = x86_test "E91F000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484A5")];

(* JMP jmp_lbl *)
val _ = x86_test "E936000000"
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484BC")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E935000000"
   [("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484BB")];

(* JMP jmp_lbl *)
val _ = x86_test "E92F000000"
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B5")];

(* JMP jmp_lbl *)
val _ = x86_test "E91F000000"
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A5")];

(* JMP jmp_lbl *)
val _ = x86_test "E91F000000"
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A5")];

(* JMP jmp_lbl *)
val _ = x86_test "E92A000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484B0")];

(* JMP jmp_lbl *)
val _ = x86_test "E928000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484AE")];

(* JMP jmp_lbl *)
val _ = x86_test "E920000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484A6")];

(* JMP jmp_lbl *)
val _ = x86_test "E927000000"
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AD")];

(* JMP jmp_lbl *)
val _ = x86_test "E938000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484BE")];

(* JMP jmp_lbl *)
val _ = x86_test "E928000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","080484AE")];

(* JMP jmp_lbl *)
val _ = x86_test "E935000000"
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484BB")];

(* JMP jmp_lbl *)
val _ = x86_test "E925000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484AB")];

(* JMP jmp_lbl *)
val _ = x86_test "E93A000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484C0")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E91F000000"
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A5")];

(* JMP jmp_lbl *)
val _ = x86_test "E922000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484A8")];

(* JMP jmp_lbl *)
val _ = x86_test "E921000000"
   [("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A7")];

(* JMP jmp_lbl *)
val _ = x86_test "E92C000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484B2")];

(* JMP jmp_lbl *)
val _ = x86_test "E933000000"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","080484B9")];

(* JMP jmp_lbl *)
val _ = x86_test "E92F000000"
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B5")];

(* JMP jmp_lbl *)
val _ = x86_test "E935000000"
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484BB")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E92B000000"
   [("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B1")];

(* JMP jmp_lbl *)
val _ = x86_test "E921000000"
   [("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A7")];

(* JMP jmp_lbl *)
val _ = x86_test "E933000000"
   [("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B9")];

(* JMP jmp_lbl *)
val _ = x86_test "E933000000"
   [("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484B9")];

(* JMP jmp_lbl *)
val _ = x86_test "E922000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484A8")];

(* JMP jmp_lbl *)
val _ = x86_test "E932000000"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484B8")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E923000000"
   [("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A9")];

(* JMP jmp_lbl *)
val _ = x86_test "E939000000"
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484BF")];

(* JMP jmp_lbl *)
val _ = x86_test "E923000000"
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A9")];

(* JMP jmp_lbl *)
val _ = x86_test "E92F000000"
   [("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B5")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E927000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484AD")];

(* JMP jmp_lbl *)
val _ = x86_test "E937000000"
   [("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484BD")];

(* JMP jmp_lbl *)
val _ = x86_test "E91E000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484A4")];

(* JMP jmp_lbl *)
val _ = x86_test "E924000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484AA")];

(* JMP jmp_lbl *)
val _ = x86_test "E930000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484B6")];

(* JMP jmp_lbl *)
val _ = x86_test "E92F000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484B5")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E92D000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484B3")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E925000000"
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* JMP jmp_lbl *)
val _ = x86_test "E92D000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484B3")];

(* JMP jmp_lbl *)
val _ = x86_test "E929000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AF")];

(* JMP jmp_lbl *)
val _ = x86_test "E92F000000"
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B5")];

(* JMP jmp_lbl *)
val _ = x86_test "E923000000"
   [("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A9")];

(* JMP jmp_lbl *)
val _ = x86_test "E931000000"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484B7")];

(* JMP jmp_lbl *)
val _ = x86_test "E92D000000"
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484B3")];

(* JMP jmp_lbl *)
val _ = x86_test "E93A000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484C0")];

(* JMP jmp_lbl *)
val _ = x86_test "E93B000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484C1")];

(* JMP jmp_lbl *)
val _ = x86_test "E935000000"
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484BB")];

(* JMP jmp_lbl *)
val _ = x86_test "E922000000"
   [("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A8")];

(* JMP jmp_lbl *)
val _ = x86_test "E936000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484BC")];

(* JMP jmp_lbl *)
val _ = x86_test "E931000000"
   [("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484B7")];

(* JMP jmp_lbl *)
val _ = x86_test "E93B000000"
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484C1")];

(* JMP jmp_lbl *)
val _ = x86_test "E930000000"
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B6")];

(* JMP jmp_lbl *)
val _ = x86_test "E93B000000"
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484C1")];

(* JMP jmp_lbl *)
val _ = x86_test "E93A000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484C0")];

(* JMP jmp_lbl *)
val _ = x86_test "E935000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484BB")];

(* JMP jmp_lbl *)
val _ = x86_test "E928000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484AE")];

(* JMP jmp_lbl *)
val _ = x86_test "E933000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484B9")];

(* JMP jmp_lbl *)
val _ = x86_test "E922000000"
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A8")];

(* JMP jmp_lbl *)
val _ = x86_test "E92C000000"
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B2")];

(* JMP jmp_lbl *)
val _ = x86_test "E921000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484A7")];

(* JMP jmp_lbl *)
val _ = x86_test "E92A000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484B0")];

(* JMP jmp_lbl *)
val _ = x86_test "E927000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484AD")];

(* JMP jmp_lbl *)
val _ = x86_test "E933000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484B9")];

(* JMP jmp_lbl *)
val _ = x86_test "E93A000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484C0")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E91E000000"
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")];

(* JMP jmp_lbl *)
val _ = x86_test "E936000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484BC")];

(* JMP jmp_lbl *)
val _ = x86_test "E935000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484BB")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E928000000"
   [("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AE")];

(* JMP jmp_lbl *)
val _ = x86_test "E92D000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484B3")];

(* JMP jmp_lbl *)
val _ = x86_test "E92A000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484B0")];

(* JMP jmp_lbl *)
val _ = x86_test "E927000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","080484AD")];

(* JMP jmp_lbl *)
val _ = x86_test "E939000000"
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484BF")];

(* JMP jmp_lbl *)
val _ = x86_test "E939000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484BF")];

(* JMP jmp_lbl *)
val _ = x86_test "E91E000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484A4")];

(* JMP jmp_lbl *)
val _ = x86_test "E939000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484BF")];

(* JMP jmp_lbl *)
val _ = x86_test "E931000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484B7")];

(* JMP jmp_lbl *)
val _ = x86_test "E927000000"
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AD")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E921000000"
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","080484A7")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E921000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484A7")];

(* JMP jmp_lbl *)
val _ = x86_test "E926000000"
   [("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AC")];

(* JMP jmp_lbl *)
val _ = x86_test "E93B000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484C1")];

(* JMP jmp_lbl *)
val _ = x86_test "E92B000000"
   [("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* JMP jmp_lbl *)
val _ = x86_test "E920000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484A6")];

(* JMP jmp_lbl *)
val _ = x86_test "E928000000"
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AE")];

(* JMP jmp_lbl *)
val _ = x86_test "E933000000"
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B9")];

(* JMP jmp_lbl *)
val _ = x86_test "E920000000"
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A6")];

(* JMP jmp_lbl *)
val _ = x86_test "E91F000000"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A5")];

(* JMP jmp_lbl *)
val _ = x86_test "E925000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484AB")];

(* JMP jmp_lbl *)
val _ = x86_test "E91E000000"
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E91E000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484A4")];

(* JMP jmp_lbl *)
val _ = x86_test "E924000000"
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AA")];

(* JMP jmp_lbl *)
val _ = x86_test "E934000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484BA")];

(* JMP jmp_lbl *)
val _ = x86_test "E92D000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484B3")];

(* JMP jmp_lbl *)
val _ = x86_test "E920000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484A6")];

(* JMP jmp_lbl *)
val _ = x86_test "E923000000"
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A9")];

(* JMP jmp_lbl *)
val _ = x86_test "E921000000"
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A7")];

(* JMP jmp_lbl *)
val _ = x86_test "E920000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A6")];

(* JMP jmp_lbl *)
val _ = x86_test "E92C000000"
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B2")];

(* JMP jmp_lbl *)
val _ = x86_test "E935000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484BB")];

(* JMP jmp_lbl *)
val _ = x86_test "E921000000"
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A7")];

(* JMP jmp_lbl *)
val _ = x86_test "E935000000"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484BB")];

(* JMP jmp_lbl *)
val _ = x86_test "E935000000"
   [("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484BB")];

(* JMP jmp_lbl *)
val _ = x86_test "E930000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484B6")];

(* JMP jmp_lbl *)
val _ = x86_test "E923000000"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A9")];

(* JMP jmp_lbl *)
val _ = x86_test "E924000000"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AA")];

(* JMP jmp_lbl *)
val _ = x86_test "E92B000000"
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484B1")];

(* JMP jmp_lbl *)
val _ = x86_test "E92E000000"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484B4")];

(* JMP jmp_lbl *)
val _ = x86_test "E927000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484AD")];

(* JMP jmp_lbl *)
val _ = x86_test "E93B000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484C1")];

(* JMP jmp_lbl *)
val _ = x86_test "E92D000000"
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","080484B3")];

(* JMP jmp_lbl *)
val _ = x86_test "E92A000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484B0")];

(* JMP jmp_lbl *)
val _ = x86_test "E933000000"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484B9")];

(* JMP jmp_lbl *)
val _ = x86_test "E92F000000"
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B5")];

(* JMP jmp_lbl *)
val _ = x86_test "E928000000"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AE")];

(* JMP jmp_lbl *)
val _ = x86_test "E92C000000"
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B2")];