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

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

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

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

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

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

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

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

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

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

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

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

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

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

(* LOOPNE jmp_lbl *)
val _ = x86_test "E02E"
   [("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","080484B6")];

(* LOOPNE jmp_lbl *)
val _ = x86_test "E022"
   [("ECX","7BF08F22"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048486")]
   [("ECX","7BF08F21"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048488")];

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

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

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

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

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

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

(* LOOPNE jmp_lbl *)
val _ = x86_test "E03A"
   [("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","080484C2")];

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

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

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

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

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

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

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

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

(* LOOPNE jmp_lbl *)
val _ = x86_test "E035"
   [("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","080484BD")];

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

(* LOOPNE jmp_lbl *)
val _ = x86_test "E023"
   [("ECX","34F903E7"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","34F903E6"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484AB")];

(* LOOPNE jmp_lbl *)
val _ = x86_test "E02A"
   [("ECX","64A0537E"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048486")]
   [("ECX","64A0537D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048488")];

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

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

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

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

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

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

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

(* LOOPNE jmp_lbl *)
val _ = x86_test "E034"
   [("ECX","61ED953F"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","61ED953E"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484BC")];

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

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

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

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

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

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

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

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

(* LOOPNE jmp_lbl *)
val _ = x86_test "E020"
   [("ECX","542D81C2"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","542D81C1"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A8")];

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

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

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

(* LOOPNE jmp_lbl *)
val _ = x86_test "E03B"
   [("ECX","3F1DD8C8"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048486")]
   [("ECX","3F1DD8C7"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048488")];

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

(* LOOPNE jmp_lbl *)
val _ = x86_test "E034"
   [("ECX","3287B9A9"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048486")]
   [("ECX","3287B9A8"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048488")];

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

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

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

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

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

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

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

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

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

(* LOOPNE jmp_lbl *)
val _ = x86_test "E026"
   [("ECX","1F3E97E8"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","1F3E97E7"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AE")];

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

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

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

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

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

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