(* LOOPE jmp_lbl *)
val _ = x86_test "E129"
   [("ECX","4FC7858B"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","4FC7858A"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B1")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E12B"
   [("ECX","47EFFF5B"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048486")]
   [("ECX","47EFFF5A"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484B3")];

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

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E139"
   [("ECX","4990596A"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048486")]
   [("ECX","49905969"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484C1")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E126"
   [("ECX","FFFFFFFE"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E123"
   [("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","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E123"
   [("ECX","FFFFFFFE"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E136"
   [("ECX","3EF2D33C"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","3EF2D33B"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E120"
   [("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")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E12F"
   [("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","080484B7")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E127"
   [("ECX","6D0725C6"), ("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","6D0725C5"), ("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048488")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E126"
   [("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","080484AE")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E138"
   [("ECX","5C61C0FE"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","5C61C0FD"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E136"
   [("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","080484BE")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E137"
   [("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","080484BF")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E139"
   [("ECX","FFFFFFFF"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

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

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E120"
   [("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","080484A8")];

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

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

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

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E136"
   [("ECX","43AA8C47"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","43AA8C46"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484BE")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E13B"
   [("ECX","6C2E743F"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048486")]
   [("ECX","6C2E743E"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484C3")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E130"
   [("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")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E12C"
   [("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","080484B4")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E12A"
   [("ECX","07914F77"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048486")]
   [("ECX","07914F76"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484B2")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E130"
   [("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","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E11F"
   [("ECX","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

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

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

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

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E134"
   [("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","080484BC")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E13A"
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484C2")];

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

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

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E12D"
   [("ECX","FFFFFFFE"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E126"
   [("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","080484AE")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E137"
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","08048488")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E129"
   [("ECX","FFFFFFFE"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

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

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E12E"
   [("ECX","6A821452"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","6A821451"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048488")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E121"
   [("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")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E138"
   [("ECX","183BCA7C"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","183BCA7B"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E11F"
   [("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","080484A7")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E137"
   [("ECX","FFFFFFFF"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E132"
   [("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","080484BA")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E12F"
   [("ECX","1433FC3D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048486")]
   [("ECX","1433FC3C"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484B7")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E12E"
   [("ECX","00000002"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E137"
   [("ECX","13033F4B"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","13033F4A"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E130"
   [("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","080484B8")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E130"
   [("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","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E121"
   [("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","080484A9")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E133"
   [("ECX","FFFFFFFF"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

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

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

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E12B"
   [("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E129"
   [("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","08048488")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E128"
   [("ECX","763BF8ED"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","763BF8EC"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B0")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E128"
   [("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","080484B0")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E126"
   [("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","080484AE")];

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

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E124"
   [("ECX","02C9803F"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","02C9803E"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484AC")];

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

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

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

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E129"
   [("ECX","FFFFFFFE"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

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

(* LOOPE jmp_lbl *)
val _ = x86_test "E122"
   [("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","080484AA")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E134"
   [("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","080484BC")];

(* LOOPE jmp_lbl *)
val _ = x86_test "E12C"
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFD"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","08048488")];