(* LOOP jmp_lbl *)
val _ = x86_test "E234"
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E226"
   [("ECX","00000002"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484AE")];

(* LOOP jmp_lbl *)
val _ = x86_test "E224"
   [("ECX","FFFFFFFF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")];

(* LOOP jmp_lbl *)
val _ = x86_test "E223"
   [("ECX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22E"
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484B6")];

(* LOOP jmp_lbl *)
val _ = x86_test "E236"
   [("ECX","00000002"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484BE")];

(* LOOP jmp_lbl *)
val _ = x86_test "E236"
   [("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484BE")];

(* LOOP jmp_lbl *)
val _ = x86_test "E231"
   [("ECX","00000000"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B9")];

(* LOOP jmp_lbl *)
val _ = x86_test "E225"
   [("ECX","00000002"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AD")];

(* LOOP jmp_lbl *)
val _ = x86_test "E227"
   [("ECX","6DE48B0E"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","6DE48B0D"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AF")];

(* LOOP jmp_lbl *)
val _ = x86_test "E231"
   [("ECX","00000002"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B9")];

(* LOOP jmp_lbl *)
val _ = x86_test "E225"
   [("ECX","00000002"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484AD")];

(* LOOP jmp_lbl *)
val _ = x86_test "E23B"
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484C3")];

(* LOOP jmp_lbl *)
val _ = x86_test "E21E"
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484A6")];

(* LOOP jmp_lbl *)
val _ = x86_test "E236"
   [("ECX","00000002"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484BE")];

(* LOOP jmp_lbl *)
val _ = x86_test "E220"
   [("ECX","00000000"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A8")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22A"
   [("ECX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E21E"
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A6")];

(* LOOP jmp_lbl *)
val _ = x86_test "E222"
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E232"
   [("ECX","00000002"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484BA")];

(* LOOP jmp_lbl *)
val _ = x86_test "E229"
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E229"
   [("ECX","192121B4"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","192121B3"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* LOOP jmp_lbl *)
val _ = x86_test "E225"
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484AD")];

(* LOOP jmp_lbl *)
val _ = x86_test "E237"
   [("ECX","00000000"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484BF")];

(* LOOP jmp_lbl *)
val _ = x86_test "E232"
   [("ECX","FFFFFFFF"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484BA")];

(* LOOP jmp_lbl *)
val _ = x86_test "E238"
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E228"
   [("ECX","50232C0B"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","50232C0A"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484B0")];

(* LOOP jmp_lbl *)
val _ = x86_test "E23B"
   [("ECX","00000000"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","080484C3")];

(* LOOP jmp_lbl *)
val _ = x86_test "E238"
   [("ECX","219AB2FA"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","219AB2F9"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484C0")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22D"
   [("ECX","79A26EDC"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","79A26EDB"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B5")];

(* LOOP jmp_lbl *)
val _ = x86_test "E23A"
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E228"
   [("ECX","0F341445"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","0F341444"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B0")];

(* LOOP jmp_lbl *)
val _ = x86_test "E237"
   [("ECX","00000002"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484BF")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22C"
   [("ECX","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484B4")];

(* LOOP jmp_lbl *)
val _ = x86_test "E222"
   [("ECX","00000001"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E21E"
   [("ECX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048486")]
   [("ECX","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E236"
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484BE")];

(* LOOP jmp_lbl *)
val _ = x86_test "E229"
   [("ECX","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B1")];

(* LOOP jmp_lbl *)
val _ = x86_test "E23B"
   [("ECX","FFFFFFFE"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484C3")];

(* LOOP jmp_lbl *)
val _ = x86_test "E225"
   [("ECX","00000000"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AD")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22F"
   [("ECX","4ED1D11D"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","4ED1D11C"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B7")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22C"
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484B4")];

(* LOOP jmp_lbl *)
val _ = x86_test "E235"
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E221"
   [("ECX","2A3A8806"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","2A3A8805"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A9")];

(* LOOP jmp_lbl *)
val _ = x86_test "E227"
   [("ECX","00000002"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484AF")];

(* LOOP jmp_lbl *)
val _ = x86_test "E236"
   [("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484BE")];

(* LOOP jmp_lbl *)
val _ = x86_test "E229"
   [("ECX","00000000"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22F"
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484B7")];

(* LOOP jmp_lbl *)
val _ = x86_test "E238"
   [("ECX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E232"
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484BA")];

(* LOOP jmp_lbl *)
val _ = x86_test "E232"
   [("ECX","FFFFFFFE"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484BA")];

(* LOOP jmp_lbl *)
val _ = x86_test "E225"
   [("ECX","00000001"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E230"
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B8")];

(* LOOP jmp_lbl *)
val _ = x86_test "E232"
   [("ECX","00000000"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484BA")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22A"
   [("ECX","FFFFFFFE"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","080484B2")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22B"
   [("ECX","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484B3")];

(* LOOP jmp_lbl *)
val _ = x86_test "E222"
   [("ECX","FFFFFFFF"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AA")];

(* LOOP jmp_lbl *)
val _ = x86_test "E23B"
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484C3")];

(* LOOP jmp_lbl *)
val _ = x86_test "E225"
   [("ECX","00000001"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22C"
   [("ECX","00000002"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484B4")];

(* LOOP jmp_lbl *)
val _ = x86_test "E231"
   [("ECX","00000000"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B9")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22C"
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E235"
   [("ECX","00000001"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E234"
   [("ECX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E228"
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B0")];

(* LOOP jmp_lbl *)
val _ = x86_test "E223"
   [("ECX","1C690B2A"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","1C690B29"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* LOOP jmp_lbl *)
val _ = x86_test "E227"
   [("ECX","01EAC74E"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","01EAC74D"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AF")];

(* LOOP jmp_lbl *)
val _ = x86_test "E224"
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AC")];

(* LOOP jmp_lbl *)
val _ = x86_test "E235"
   [("ECX","00000001"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22B"
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484B3")];

(* LOOP jmp_lbl *)
val _ = x86_test "E225"
   [("ECX","00000002"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AD")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22C"
   [("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484B4")];

(* LOOP jmp_lbl *)
val _ = x86_test "E226"
   [("ECX","FFFFFFFE"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AE")];

(* LOOP jmp_lbl *)
val _ = x86_test "E23B"
   [("ECX","00000002"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484C3")];

(* LOOP jmp_lbl *)
val _ = x86_test "E222"
   [("ECX","00000002"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AA")];

(* LOOP jmp_lbl *)
val _ = x86_test "E227"
   [("ECX","00000001"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOP jmp_lbl *)
val _ = x86_test "E232"
   [("ECX","00000002"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484BA")];

(* LOOP jmp_lbl *)
val _ = x86_test "E231"
   [("ECX","00000002"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484B9")];

(* LOOP jmp_lbl *)
val _ = x86_test "E22D"
   [("ECX","41480294"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","41480293"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B5")];

(* LOOP jmp_lbl *)
val _ = x86_test "E226"
   [("ECX","00000000"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AE")];