(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFECA4"), ("EBP","BFFFECC8"), ("BFFFECAF","00"), ("BFFFECAE","00"), ("BFFFECAD","00"), ("BFFFECAC","01"), ("BFFFECAB","BF"), ("BFFFECAA","FF"), ("BFFFECA9","ED"), ("BFFFECA8","6C"), ("BFFFECA7","08"), ("BFFFECA6","04"), ("BFFFECA5","84"), ("BFFFECA4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFECA8"), ("EBP","BFFFECC8"), ("BFFFECAF","00"), ("BFFFECAE","00"), ("BFFFECAD","00"), ("BFFFECAC","01"), ("BFFFECAB","BF"), ("BFFFECAA","FF"), ("BFFFECA9","ED"), ("BFFFECA8","6C"), ("BFFFECA7","08"), ("BFFFECA6","04"), ("BFFFECA5","84"), ("BFFFECA4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFD8A4"), ("EBP","BFFFD8C8"), ("BFFFD8AF","00"), ("BFFFD8AE","00"), ("BFFFD8AD","00"), ("BFFFD8AC","01"), ("BFFFD8AB","BF"), ("BFFFD8AA","FF"), ("BFFFD8A9","D9"), ("BFFFD8A8","6C"), ("BFFFD8A7","08"), ("BFFFD8A6","04"), ("BFFFD8A5","84"), ("BFFFD8A4","9D"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFD8A8"), ("EBP","BFFFD8C8"), ("BFFFD8AF","00"), ("BFFFD8AE","00"), ("BFFFD8AD","00"), ("BFFFD8AC","01"), ("BFFFD8AB","BF"), ("BFFFD8AA","FF"), ("BFFFD8A9","D9"), ("BFFFD8A8","6C"), ("BFFFD8A7","08"), ("BFFFD8A6","04"), ("BFFFD8A5","84"), ("BFFFD8A4","9D"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDA24"), ("EBP","BFFFDA48"), ("BFFFDA2F","00"), ("BFFFDA2E","00"), ("BFFFDA2D","00"), ("BFFFDA2C","01"), ("BFFFDA2B","BF"), ("BFFFDA2A","FF"), ("BFFFDA29","DA"), ("BFFFDA28","EC"), ("BFFFDA27","08"), ("BFFFDA26","04"), ("BFFFDA25","84"), ("BFFFDA24","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDA28"), ("EBP","BFFFDA48"), ("BFFFDA2F","00"), ("BFFFDA2E","00"), ("BFFFDA2D","00"), ("BFFFDA2C","01"), ("BFFFDA2B","BF"), ("BFFFDA2A","FF"), ("BFFFDA29","DA"), ("BFFFDA28","EC"), ("BFFFDA27","08"), ("BFFFDA26","04"), ("BFFFDA25","84"), ("BFFFDA24","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE9A4"), ("EBP","BFFFE9C8"), ("BFFFE9AF","00"), ("BFFFE9AE","00"), ("BFFFE9AD","00"), ("BFFFE9AC","01"), ("BFFFE9AB","BF"), ("BFFFE9AA","FF"), ("BFFFE9A9","EA"), ("BFFFE9A8","6C"), ("BFFFE9A7","08"), ("BFFFE9A6","04"), ("BFFFE9A5","84"), ("BFFFE9A4","9D"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE9A8"), ("EBP","BFFFE9C8"), ("BFFFE9AF","00"), ("BFFFE9AE","00"), ("BFFFE9AD","00"), ("BFFFE9AC","01"), ("BFFFE9AB","BF"), ("BFFFE9AA","FF"), ("BFFFE9A9","EA"), ("BFFFE9A8","6C"), ("BFFFE9A7","08"), ("BFFFE9A6","04"), ("BFFFE9A5","84"), ("BFFFE9A4","9D"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF024"), ("EBP","BFFFF048"), ("BFFFF02F","00"), ("BFFFF02E","00"), ("BFFFF02D","00"), ("BFFFF02C","01"), ("BFFFF02B","BF"), ("BFFFF02A","FF"), ("BFFFF029","F0"), ("BFFFF028","EC"), ("BFFFF027","08"), ("BFFFF026","04"), ("BFFFF025","84"), ("BFFFF024","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF028"), ("EBP","BFFFF048"), ("BFFFF02F","00"), ("BFFFF02E","00"), ("BFFFF02D","00"), ("BFFFF02C","01"), ("BFFFF02B","BF"), ("BFFFF02A","FF"), ("BFFFF029","F0"), ("BFFFF028","EC"), ("BFFFF027","08"), ("BFFFF026","04"), ("BFFFF025","84"), ("BFFFF024","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEBA4"), ("EBP","BFFFEBC8"), ("BFFFEBAF","00"), ("BFFFEBAE","00"), ("BFFFEBAD","00"), ("BFFFEBAC","01"), ("BFFFEBAB","BF"), ("BFFFEBAA","FF"), ("BFFFEBA9","EC"), ("BFFFEBA8","6C"), ("BFFFEBA7","08"), ("BFFFEBA6","04"), ("BFFFEBA5","84"), ("BFFFEBA4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFEBA8"), ("EBP","BFFFEBC8"), ("BFFFEBAF","00"), ("BFFFEBAE","00"), ("BFFFEBAD","00"), ("BFFFEBAC","01"), ("BFFFEBAB","BF"), ("BFFFEBAA","FF"), ("BFFFEBA9","EC"), ("BFFFEBA8","6C"), ("BFFFEBA7","08"), ("BFFFEBA6","04"), ("BFFFEBA5","84"), ("BFFFEBA4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE6C4"), ("EBP","BFFFE6E8"), ("BFFFE6CF","00"), ("BFFFE6CE","00"), ("BFFFE6CD","00"), ("BFFFE6CC","01"), ("BFFFE6CB","BF"), ("BFFFE6CA","FF"), ("BFFFE6C9","E7"), ("BFFFE6C8","8C"), ("BFFFE6C7","08"), ("BFFFE6C6","04"), ("BFFFE6C5","84"), ("BFFFE6C4","9D"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE6C8"), ("EBP","BFFFE6E8"), ("BFFFE6CF","00"), ("BFFFE6CE","00"), ("BFFFE6CD","00"), ("BFFFE6CC","01"), ("BFFFE6CB","BF"), ("BFFFE6CA","FF"), ("BFFFE6C9","E7"), ("BFFFE6C8","8C"), ("BFFFE6C7","08"), ("BFFFE6C6","04"), ("BFFFE6C5","84"), ("BFFFE6C4","9D"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE6C4"), ("EBP","BFFFE6E8"), ("BFFFE6CF","00"), ("BFFFE6CE","00"), ("BFFFE6CD","00"), ("BFFFE6CC","01"), ("BFFFE6CB","BF"), ("BFFFE6CA","FF"), ("BFFFE6C9","E7"), ("BFFFE6C8","8C"), ("BFFFE6C7","08"), ("BFFFE6C6","04"), ("BFFFE6C5","84"), ("BFFFE6C4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE6C8"), ("EBP","BFFFE6E8"), ("BFFFE6CF","00"), ("BFFFE6CE","00"), ("BFFFE6CD","00"), ("BFFFE6CC","01"), ("BFFFE6CB","BF"), ("BFFFE6CA","FF"), ("BFFFE6C9","E7"), ("BFFFE6C8","8C"), ("BFFFE6C7","08"), ("BFFFE6C6","04"), ("BFFFE6C5","84"), ("BFFFE6C4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFD6C4"), ("EBP","BFFFD6E8"), ("BFFFD6CF","00"), ("BFFFD6CE","00"), ("BFFFD6CD","00"), ("BFFFD6CC","01"), ("BFFFD6CB","BF"), ("BFFFD6CA","FF"), ("BFFFD6C9","D7"), ("BFFFD6C8","8C"), ("BFFFD6C7","08"), ("BFFFD6C6","04"), ("BFFFD6C5","84"), ("BFFFD6C4","9D"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFD6C8"), ("EBP","BFFFD6E8"), ("BFFFD6CF","00"), ("BFFFD6CE","00"), ("BFFFD6CD","00"), ("BFFFD6CC","01"), ("BFFFD6CB","BF"), ("BFFFD6CA","FF"), ("BFFFD6C9","D7"), ("BFFFD6C8","8C"), ("BFFFD6C7","08"), ("BFFFD6C6","04"), ("BFFFD6C5","84"), ("BFFFD6C4","9D"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFED44"), ("EBP","BFFFED68"), ("BFFFED4F","00"), ("BFFFED4E","00"), ("BFFFED4D","00"), ("BFFFED4C","01"), ("BFFFED4B","BF"), ("BFFFED4A","FF"), ("BFFFED49","EE"), ("BFFFED48","0C"), ("BFFFED47","08"), ("BFFFED46","04"), ("BFFFED45","84"), ("BFFFED44","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFED48"), ("EBP","BFFFED68"), ("BFFFED4F","00"), ("BFFFED4E","00"), ("BFFFED4D","00"), ("BFFFED4C","01"), ("BFFFED4B","BF"), ("BFFFED4A","FF"), ("BFFFED49","EE"), ("BFFFED48","0C"), ("BFFFED47","08"), ("BFFFED46","04"), ("BFFFED45","84"), ("BFFFED44","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE244"), ("EBP","BFFFE268"), ("BFFFE24F","00"), ("BFFFE24E","00"), ("BFFFE24D","00"), ("BFFFE24C","01"), ("BFFFE24B","BF"), ("BFFFE24A","FF"), ("BFFFE249","E3"), ("BFFFE248","0C"), ("BFFFE247","08"), ("BFFFE246","04"), ("BFFFE245","84"), ("BFFFE244","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE248"), ("EBP","BFFFE268"), ("BFFFE24F","00"), ("BFFFE24E","00"), ("BFFFE24D","00"), ("BFFFE24C","01"), ("BFFFE24B","BF"), ("BFFFE24A","FF"), ("BFFFE249","E3"), ("BFFFE248","0C"), ("BFFFE247","08"), ("BFFFE246","04"), ("BFFFE245","84"), ("BFFFE244","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFD644"), ("EBP","BFFFD668"), ("BFFFD64F","00"), ("BFFFD64E","00"), ("BFFFD64D","00"), ("BFFFD64C","01"), ("BFFFD64B","BF"), ("BFFFD64A","FF"), ("BFFFD649","D7"), ("BFFFD648","0C"), ("BFFFD647","08"), ("BFFFD646","04"), ("BFFFD645","84"), ("BFFFD644","9D"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFD648"), ("EBP","BFFFD668"), ("BFFFD64F","00"), ("BFFFD64E","00"), ("BFFFD64D","00"), ("BFFFD64C","01"), ("BFFFD64B","BF"), ("BFFFD64A","FF"), ("BFFFD649","D7"), ("BFFFD648","0C"), ("BFFFD647","08"), ("BFFFD646","04"), ("BFFFD645","84"), ("BFFFD644","9D"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEA44"), ("EBP","BFFFEA68"), ("BFFFEA4F","00"), ("BFFFEA4E","00"), ("BFFFEA4D","00"), ("BFFFEA4C","01"), ("BFFFEA4B","BF"), ("BFFFEA4A","FF"), ("BFFFEA49","EB"), ("BFFFEA48","0C"), ("BFFFEA47","08"), ("BFFFEA46","04"), ("BFFFEA45","84"), ("BFFFEA44","9D"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFEA48"), ("EBP","BFFFEA68"), ("BFFFEA4F","00"), ("BFFFEA4E","00"), ("BFFFEA4D","00"), ("BFFFEA4C","01"), ("BFFFEA4B","BF"), ("BFFFEA4A","FF"), ("BFFFEA49","EB"), ("BFFFEA48","0C"), ("BFFFEA47","08"), ("BFFFEA46","04"), ("BFFFEA45","84"), ("BFFFEA44","9D"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDEC4"), ("EBP","BFFFDEE8"), ("BFFFDECF","00"), ("BFFFDECE","00"), ("BFFFDECD","00"), ("BFFFDECC","01"), ("BFFFDECB","BF"), ("BFFFDECA","FF"), ("BFFFDEC9","DF"), ("BFFFDEC8","8C"), ("BFFFDEC7","08"), ("BFFFDEC6","04"), ("BFFFDEC5","84"), ("BFFFDEC4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDEC8"), ("EBP","BFFFDEE8"), ("BFFFDECF","00"), ("BFFFDECE","00"), ("BFFFDECD","00"), ("BFFFDECC","01"), ("BFFFDECB","BF"), ("BFFFDECA","FF"), ("BFFFDEC9","DF"), ("BFFFDEC8","8C"), ("BFFFDEC7","08"), ("BFFFDEC6","04"), ("BFFFDEC5","84"), ("BFFFDEC4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEC44"), ("EBP","BFFFEC68"), ("BFFFEC4F","00"), ("BFFFEC4E","00"), ("BFFFEC4D","00"), ("BFFFEC4C","01"), ("BFFFEC4B","BF"), ("BFFFEC4A","FF"), ("BFFFEC49","ED"), ("BFFFEC48","0C"), ("BFFFEC47","08"), ("BFFFEC46","04"), ("BFFFEC45","84"), ("BFFFEC44","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFEC48"), ("EBP","BFFFEC68"), ("BFFFEC4F","00"), ("BFFFEC4E","00"), ("BFFFEC4D","00"), ("BFFFEC4C","01"), ("BFFFEC4B","BF"), ("BFFFEC4A","FF"), ("BFFFEC49","ED"), ("BFFFEC48","0C"), ("BFFFEC47","08"), ("BFFFEC46","04"), ("BFFFEC45","84"), ("BFFFEC44","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDC44"), ("EBP","BFFFDC68"), ("BFFFDC4F","00"), ("BFFFDC4E","00"), ("BFFFDC4D","00"), ("BFFFDC4C","01"), ("BFFFDC4B","BF"), ("BFFFDC4A","FF"), ("BFFFDC49","DD"), ("BFFFDC48","0C"), ("BFFFDC47","08"), ("BFFFDC46","04"), ("BFFFDC45","84"), ("BFFFDC44","9D"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDC48"), ("EBP","BFFFDC68"), ("BFFFDC4F","00"), ("BFFFDC4E","00"), ("BFFFDC4D","00"), ("BFFFDC4C","01"), ("BFFFDC4B","BF"), ("BFFFDC4A","FF"), ("BFFFDC49","DD"), ("BFFFDC48","0C"), ("BFFFDC47","08"), ("BFFFDC46","04"), ("BFFFDC45","84"), ("BFFFDC44","9D"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDFC4"), ("EBP","BFFFDFE8"), ("BFFFDFCF","00"), ("BFFFDFCE","00"), ("BFFFDFCD","00"), ("BFFFDFCC","01"), ("BFFFDFCB","BF"), ("BFFFDFCA","FF"), ("BFFFDFC9","E0"), ("BFFFDFC8","8C"), ("BFFFDFC7","08"), ("BFFFDFC6","04"), ("BFFFDFC5","84"), ("BFFFDFC4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDFC8"), ("EBP","BFFFDFE8"), ("BFFFDFCF","00"), ("BFFFDFCE","00"), ("BFFFDFCD","00"), ("BFFFDFCC","01"), ("BFFFDFCB","BF"), ("BFFFDFCA","FF"), ("BFFFDFC9","E0"), ("BFFFDFC8","8C"), ("BFFFDFC7","08"), ("BFFFDFC6","04"), ("BFFFDFC5","84"), ("BFFFDFC4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDBC4"), ("EBP","BFFFDBE8"), ("BFFFDBCF","00"), ("BFFFDBCE","00"), ("BFFFDBCD","00"), ("BFFFDBCC","01"), ("BFFFDBCB","BF"), ("BFFFDBCA","FF"), ("BFFFDBC9","DC"), ("BFFFDBC8","8C"), ("BFFFDBC7","08"), ("BFFFDBC6","04"), ("BFFFDBC5","84"), ("BFFFDBC4","9D"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDBC8"), ("EBP","BFFFDBE8"), ("BFFFDBCF","00"), ("BFFFDBCE","00"), ("BFFFDBCD","00"), ("BFFFDBCC","01"), ("BFFFDBCB","BF"), ("BFFFDBCA","FF"), ("BFFFDBC9","DC"), ("BFFFDBC8","8C"), ("BFFFDBC7","08"), ("BFFFDBC6","04"), ("BFFFDBC5","84"), ("BFFFDBC4","9D"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEDC4"), ("EBP","BFFFEDE8"), ("BFFFEDCF","00"), ("BFFFEDCE","00"), ("BFFFEDCD","00"), ("BFFFEDCC","01"), ("BFFFEDCB","BF"), ("BFFFEDCA","FF"), ("BFFFEDC9","EE"), ("BFFFEDC8","8C"), ("BFFFEDC7","08"), ("BFFFEDC6","04"), ("BFFFEDC5","84"), ("BFFFEDC4","9D"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFEDC8"), ("EBP","BFFFEDE8"), ("BFFFEDCF","00"), ("BFFFEDCE","00"), ("BFFFEDCD","00"), ("BFFFEDCC","01"), ("BFFFEDCB","BF"), ("BFFFEDCA","FF"), ("BFFFEDC9","EE"), ("BFFFEDC8","8C"), ("BFFFEDC7","08"), ("BFFFEDC6","04"), ("BFFFEDC5","84"), ("BFFFEDC4","9D"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFD9C4"), ("EBP","BFFFD9E8"), ("BFFFD9CF","00"), ("BFFFD9CE","00"), ("BFFFD9CD","00"), ("BFFFD9CC","01"), ("BFFFD9CB","BF"), ("BFFFD9CA","FF"), ("BFFFD9C9","DA"), ("BFFFD9C8","8C"), ("BFFFD9C7","08"), ("BFFFD9C6","04"), ("BFFFD9C5","84"), ("BFFFD9C4","9D"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFD9C8"), ("EBP","BFFFD9E8"), ("BFFFD9CF","00"), ("BFFFD9CE","00"), ("BFFFD9CD","00"), ("BFFFD9CC","01"), ("BFFFD9CB","BF"), ("BFFFD9CA","FF"), ("BFFFD9C9","DA"), ("BFFFD9C8","8C"), ("BFFFD9C7","08"), ("BFFFD9C6","04"), ("BFFFD9C5","84"), ("BFFFD9C4","9D"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDFC4"), ("EBP","BFFFDFE8"), ("BFFFDFCF","00"), ("BFFFDFCE","00"), ("BFFFDFCD","00"), ("BFFFDFCC","01"), ("BFFFDFCB","BF"), ("BFFFDFCA","FF"), ("BFFFDFC9","E0"), ("BFFFDFC8","8C"), ("BFFFDFC7","08"), ("BFFFDFC6","04"), ("BFFFDFC5","84"), ("BFFFDFC4","9D"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDFC8"), ("EBP","BFFFDFE8"), ("BFFFDFCF","00"), ("BFFFDFCE","00"), ("BFFFDFCD","00"), ("BFFFDFCC","01"), ("BFFFDFCB","BF"), ("BFFFDFCA","FF"), ("BFFFDFC9","E0"), ("BFFFDFC8","8C"), ("BFFFDFC7","08"), ("BFFFDFC6","04"), ("BFFFDFC5","84"), ("BFFFDFC4","9D"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDBC4"), ("EBP","BFFFDBE8"), ("BFFFDBCF","00"), ("BFFFDBCE","00"), ("BFFFDBCD","00"), ("BFFFDBCC","01"), ("BFFFDBCB","BF"), ("BFFFDBCA","FF"), ("BFFFDBC9","DC"), ("BFFFDBC8","8C"), ("BFFFDBC7","08"), ("BFFFDBC6","04"), ("BFFFDBC5","84"), ("BFFFDBC4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDBC8"), ("EBP","BFFFDBE8"), ("BFFFDBCF","00"), ("BFFFDBCE","00"), ("BFFFDBCD","00"), ("BFFFDBCC","01"), ("BFFFDBCB","BF"), ("BFFFDBCA","FF"), ("BFFFDBC9","DC"), ("BFFFDBC8","8C"), ("BFFFDBC7","08"), ("BFFFDBC6","04"), ("BFFFDBC5","84"), ("BFFFDBC4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE4C4"), ("EBP","BFFFE4E8"), ("BFFFE4CF","00"), ("BFFFE4CE","00"), ("BFFFE4CD","00"), ("BFFFE4CC","01"), ("BFFFE4CB","BF"), ("BFFFE4CA","FF"), ("BFFFE4C9","E5"), ("BFFFE4C8","8C"), ("BFFFE4C7","08"), ("BFFFE4C6","04"), ("BFFFE4C5","84"), ("BFFFE4C4","9D"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE4C8"), ("EBP","BFFFE4E8"), ("BFFFE4CF","00"), ("BFFFE4CE","00"), ("BFFFE4CD","00"), ("BFFFE4CC","01"), ("BFFFE4CB","BF"), ("BFFFE4CA","FF"), ("BFFFE4C9","E5"), ("BFFFE4C8","8C"), ("BFFFE4C7","08"), ("BFFFE4C6","04"), ("BFFFE4C5","84"), ("BFFFE4C4","9D"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE0C4"), ("EBP","BFFFE0E8"), ("BFFFE0CF","00"), ("BFFFE0CE","00"), ("BFFFE0CD","00"), ("BFFFE0CC","01"), ("BFFFE0CB","BF"), ("BFFFE0CA","FF"), ("BFFFE0C9","E1"), ("BFFFE0C8","8C"), ("BFFFE0C7","08"), ("BFFFE0C6","04"), ("BFFFE0C5","84"), ("BFFFE0C4","9D"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE0C8"), ("EBP","BFFFE0E8"), ("BFFFE0CF","00"), ("BFFFE0CE","00"), ("BFFFE0CD","00"), ("BFFFE0CC","01"), ("BFFFE0CB","BF"), ("BFFFE0CA","FF"), ("BFFFE0C9","E1"), ("BFFFE0C8","8C"), ("BFFFE0C7","08"), ("BFFFE0C6","04"), ("BFFFE0C5","84"), ("BFFFE0C4","9D"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF4C4"), ("EBP","BFFFF4E8"), ("BFFFF4CF","00"), ("BFFFF4CE","00"), ("BFFFF4CD","00"), ("BFFFF4CC","01"), ("BFFFF4CB","BF"), ("BFFFF4CA","FF"), ("BFFFF4C9","F5"), ("BFFFF4C8","8C"), ("BFFFF4C7","08"), ("BFFFF4C6","04"), ("BFFFF4C5","84"), ("BFFFF4C4","9D"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF4C8"), ("EBP","BFFFF4E8"), ("BFFFF4CF","00"), ("BFFFF4CE","00"), ("BFFFF4CD","00"), ("BFFFF4CC","01"), ("BFFFF4CB","BF"), ("BFFFF4CA","FF"), ("BFFFF4C9","F5"), ("BFFFF4C8","8C"), ("BFFFF4C7","08"), ("BFFFF4C6","04"), ("BFFFF4C5","84"), ("BFFFF4C4","9D"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE444"), ("EBP","BFFFE468"), ("BFFFE44F","00"), ("BFFFE44E","00"), ("BFFFE44D","00"), ("BFFFE44C","01"), ("BFFFE44B","BF"), ("BFFFE44A","FF"), ("BFFFE449","E5"), ("BFFFE448","0C"), ("BFFFE447","08"), ("BFFFE446","04"), ("BFFFE445","84"), ("BFFFE444","9D"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE448"), ("EBP","BFFFE468"), ("BFFFE44F","00"), ("BFFFE44E","00"), ("BFFFE44D","00"), ("BFFFE44C","01"), ("BFFFE44B","BF"), ("BFFFE44A","FF"), ("BFFFE449","E5"), ("BFFFE448","0C"), ("BFFFE447","08"), ("BFFFE446","04"), ("BFFFE445","84"), ("BFFFE444","9D"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF244"), ("EBP","BFFFF268"), ("BFFFF24F","00"), ("BFFFF24E","00"), ("BFFFF24D","00"), ("BFFFF24C","01"), ("BFFFF24B","BF"), ("BFFFF24A","FF"), ("BFFFF249","F3"), ("BFFFF248","0C"), ("BFFFF247","08"), ("BFFFF246","04"), ("BFFFF245","84"), ("BFFFF244","9D"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF248"), ("EBP","BFFFF268"), ("BFFFF24F","00"), ("BFFFF24E","00"), ("BFFFF24D","00"), ("BFFFF24C","01"), ("BFFFF24B","BF"), ("BFFFF24A","FF"), ("BFFFF249","F3"), ("BFFFF248","0C"), ("BFFFF247","08"), ("BFFFF246","04"), ("BFFFF245","84"), ("BFFFF244","9D"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF0C4"), ("EBP","BFFFF0E8"), ("BFFFF0CF","00"), ("BFFFF0CE","00"), ("BFFFF0CD","00"), ("BFFFF0CC","01"), ("BFFFF0CB","BF"), ("BFFFF0CA","FF"), ("BFFFF0C9","F1"), ("BFFFF0C8","8C"), ("BFFFF0C7","08"), ("BFFFF0C6","04"), ("BFFFF0C5","84"), ("BFFFF0C4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF0C8"), ("EBP","BFFFF0E8"), ("BFFFF0CF","00"), ("BFFFF0CE","00"), ("BFFFF0CD","00"), ("BFFFF0CC","01"), ("BFFFF0CB","BF"), ("BFFFF0CA","FF"), ("BFFFF0C9","F1"), ("BFFFF0C8","8C"), ("BFFFF0C7","08"), ("BFFFF0C6","04"), ("BFFFF0C5","84"), ("BFFFF0C4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDF44"), ("EBP","BFFFDF68"), ("BFFFDF4F","00"), ("BFFFDF4E","00"), ("BFFFDF4D","00"), ("BFFFDF4C","01"), ("BFFFDF4B","BF"), ("BFFFDF4A","FF"), ("BFFFDF49","E0"), ("BFFFDF48","0C"), ("BFFFDF47","08"), ("BFFFDF46","04"), ("BFFFDF45","84"), ("BFFFDF44","9D"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDF48"), ("EBP","BFFFDF68"), ("BFFFDF4F","00"), ("BFFFDF4E","00"), ("BFFFDF4D","00"), ("BFFFDF4C","01"), ("BFFFDF4B","BF"), ("BFFFDF4A","FF"), ("BFFFDF49","E0"), ("BFFFDF48","0C"), ("BFFFDF47","08"), ("BFFFDF46","04"), ("BFFFDF45","84"), ("BFFFDF44","9D"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEEC4"), ("EBP","BFFFEEE8"), ("BFFFEECF","00"), ("BFFFEECE","00"), ("BFFFEECD","00"), ("BFFFEECC","01"), ("BFFFEECB","BF"), ("BFFFEECA","FF"), ("BFFFEEC9","EF"), ("BFFFEEC8","8C"), ("BFFFEEC7","08"), ("BFFFEEC6","04"), ("BFFFEEC5","84"), ("BFFFEEC4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFEEC8"), ("EBP","BFFFEEE8"), ("BFFFEECF","00"), ("BFFFEECE","00"), ("BFFFEECD","00"), ("BFFFEECC","01"), ("BFFFEECB","BF"), ("BFFFEECA","FF"), ("BFFFEEC9","EF"), ("BFFFEEC8","8C"), ("BFFFEEC7","08"), ("BFFFEEC6","04"), ("BFFFEEC5","84"), ("BFFFEEC4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDDD4"), ("EBP","BFFFDDF8"), ("BFFFDDDF","00"), ("BFFFDDDE","00"), ("BFFFDDDD","00"), ("BFFFDDDC","01"), ("BFFFDDDB","BF"), ("BFFFDDDA","FF"), ("BFFFDDD9","DE"), ("BFFFDDD8","9C"), ("BFFFDDD7","08"), ("BFFFDDD6","04"), ("BFFFDDD5","84"), ("BFFFDDD4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804849C")]
   [("ESP","BFFFDDD8"), ("EBP","BFFFDDF8"), ("BFFFDDDF","00"), ("BFFFDDDE","00"), ("BFFFDDDD","00"), ("BFFFDDDC","01"), ("BFFFDDDB","BF"), ("BFFFDDDA","FF"), ("BFFFDDD9","DE"), ("BFFFDDD8","9C"), ("BFFFDDD7","08"), ("BFFFDDD6","04"), ("BFFFDDD5","84"), ("BFFFDDD4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF054"), ("EBP","BFFFF078"), ("BFFFF05F","00"), ("BFFFF05E","00"), ("BFFFF05D","00"), ("BFFFF05C","01"), ("BFFFF05B","BF"), ("BFFFF05A","FF"), ("BFFFF059","F1"), ("BFFFF058","1C"), ("BFFFF057","08"), ("BFFFF056","04"), ("BFFFF055","84"), ("BFFFF054","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF058"), ("EBP","BFFFF078"), ("BFFFF05F","00"), ("BFFFF05E","00"), ("BFFFF05D","00"), ("BFFFF05C","01"), ("BFFFF05B","BF"), ("BFFFF05A","FF"), ("BFFFF059","F1"), ("BFFFF058","1C"), ("BFFFF057","08"), ("BFFFF056","04"), ("BFFFF055","84"), ("BFFFF054","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE5D4"), ("EBP","BFFFE5F8"), ("BFFFE5DF","00"), ("BFFFE5DE","00"), ("BFFFE5DD","00"), ("BFFFE5DC","01"), ("BFFFE5DB","BF"), ("BFFFE5DA","FF"), ("BFFFE5D9","E6"), ("BFFFE5D8","9C"), ("BFFFE5D7","08"), ("BFFFE5D6","04"), ("BFFFE5D5","84"), ("BFFFE5D4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE5D8"), ("EBP","BFFFE5F8"), ("BFFFE5DF","00"), ("BFFFE5DE","00"), ("BFFFE5DD","00"), ("BFFFE5DC","01"), ("BFFFE5DB","BF"), ("BFFFE5DA","FF"), ("BFFFE5D9","E6"), ("BFFFE5D8","9C"), ("BFFFE5D7","08"), ("BFFFE5D6","04"), ("BFFFE5D5","84"), ("BFFFE5D4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF054"), ("EBP","BFFFF078"), ("BFFFF05F","00"), ("BFFFF05E","00"), ("BFFFF05D","00"), ("BFFFF05C","01"), ("BFFFF05B","BF"), ("BFFFF05A","FF"), ("BFFFF059","F1"), ("BFFFF058","1C"), ("BFFFF057","08"), ("BFFFF056","04"), ("BFFFF055","84"), ("BFFFF054","9D"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF058"), ("EBP","BFFFF078"), ("BFFFF05F","00"), ("BFFFF05E","00"), ("BFFFF05D","00"), ("BFFFF05C","01"), ("BFFFF05B","BF"), ("BFFFF05A","FF"), ("BFFFF059","F1"), ("BFFFF058","1C"), ("BFFFF057","08"), ("BFFFF056","04"), ("BFFFF055","84"), ("BFFFF054","9D"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE6D4"), ("EBP","BFFFE6F8"), ("BFFFE6DF","00"), ("BFFFE6DE","00"), ("BFFFE6DD","00"), ("BFFFE6DC","01"), ("BFFFE6DB","BF"), ("BFFFE6DA","FF"), ("BFFFE6D9","E7"), ("BFFFE6D8","9C"), ("BFFFE6D7","08"), ("BFFFE6D6","04"), ("BFFFE6D5","84"), ("BFFFE6D4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE6D8"), ("EBP","BFFFE6F8"), ("BFFFE6DF","00"), ("BFFFE6DE","00"), ("BFFFE6DD","00"), ("BFFFE6DC","01"), ("BFFFE6DB","BF"), ("BFFFE6DA","FF"), ("BFFFE6D9","E7"), ("BFFFE6D8","9C"), ("BFFFE6D7","08"), ("BFFFE6D6","04"), ("BFFFE6D5","84"), ("BFFFE6D4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFD8D4"), ("EBP","BFFFD8F8"), ("BFFFD8DF","00"), ("BFFFD8DE","00"), ("BFFFD8DD","00"), ("BFFFD8DC","01"), ("BFFFD8DB","BF"), ("BFFFD8DA","FF"), ("BFFFD8D9","D9"), ("BFFFD8D8","9C"), ("BFFFD8D7","08"), ("BFFFD8D6","04"), ("BFFFD8D5","84"), ("BFFFD8D4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFD8D8"), ("EBP","BFFFD8F8"), ("BFFFD8DF","00"), ("BFFFD8DE","00"), ("BFFFD8DD","00"), ("BFFFD8DC","01"), ("BFFFD8DB","BF"), ("BFFFD8DA","FF"), ("BFFFD8D9","D9"), ("BFFFD8D8","9C"), ("BFFFD8D7","08"), ("BFFFD8D6","04"), ("BFFFD8D5","84"), ("BFFFD8D4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF5D4"), ("EBP","BFFFF5F8"), ("BFFFF5DF","00"), ("BFFFF5DE","00"), ("BFFFF5DD","00"), ("BFFFF5DC","01"), ("BFFFF5DB","BF"), ("BFFFF5DA","FF"), ("BFFFF5D9","F6"), ("BFFFF5D8","9C"), ("BFFFF5D7","08"), ("BFFFF5D6","04"), ("BFFFF5D5","84"), ("BFFFF5D4","9D"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF5D8"), ("EBP","BFFFF5F8"), ("BFFFF5DF","00"), ("BFFFF5DE","00"), ("BFFFF5DD","00"), ("BFFFF5DC","01"), ("BFFFF5DB","BF"), ("BFFFF5DA","FF"), ("BFFFF5D9","F6"), ("BFFFF5D8","9C"), ("BFFFF5D7","08"), ("BFFFF5D6","04"), ("BFFFF5D5","84"), ("BFFFF5D4","9D"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDE54"), ("EBP","BFFFDE78"), ("BFFFDE5F","00"), ("BFFFDE5E","00"), ("BFFFDE5D","00"), ("BFFFDE5C","01"), ("BFFFDE5B","BF"), ("BFFFDE5A","FF"), ("BFFFDE59","DF"), ("BFFFDE58","1C"), ("BFFFDE57","08"), ("BFFFDE56","04"), ("BFFFDE55","84"), ("BFFFDE54","9D"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDE58"), ("EBP","BFFFDE78"), ("BFFFDE5F","00"), ("BFFFDE5E","00"), ("BFFFDE5D","00"), ("BFFFDE5C","01"), ("BFFFDE5B","BF"), ("BFFFDE5A","FF"), ("BFFFDE59","DF"), ("BFFFDE58","1C"), ("BFFFDE57","08"), ("BFFFDE56","04"), ("BFFFDE55","84"), ("BFFFDE54","9D"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEF54"), ("EBP","BFFFEF78"), ("BFFFEF5F","00"), ("BFFFEF5E","00"), ("BFFFEF5D","00"), ("BFFFEF5C","01"), ("BFFFEF5B","BF"), ("BFFFEF5A","FF"), ("BFFFEF59","F0"), ("BFFFEF58","1C"), ("BFFFEF57","08"), ("BFFFEF56","04"), ("BFFFEF55","84"), ("BFFFEF54","9D"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFEF58"), ("EBP","BFFFEF78"), ("BFFFEF5F","00"), ("BFFFEF5E","00"), ("BFFFEF5D","00"), ("BFFFEF5C","01"), ("BFFFEF5B","BF"), ("BFFFEF5A","FF"), ("BFFFEF59","F0"), ("BFFFEF58","1C"), ("BFFFEF57","08"), ("BFFFEF56","04"), ("BFFFEF55","84"), ("BFFFEF54","9D"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDD64"), ("EBP","BFFFDD88"), ("BFFFDD6F","00"), ("BFFFDD6E","00"), ("BFFFDD6D","00"), ("BFFFDD6C","01"), ("BFFFDD6B","BF"), ("BFFFDD6A","FF"), ("BFFFDD69","DE"), ("BFFFDD68","2C"), ("BFFFDD67","08"), ("BFFFDD66","04"), ("BFFFDD65","84"), ("BFFFDD64","9D"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDD68"), ("EBP","BFFFDD88"), ("BFFFDD6F","00"), ("BFFFDD6E","00"), ("BFFFDD6D","00"), ("BFFFDD6C","01"), ("BFFFDD6B","BF"), ("BFFFDD6A","FF"), ("BFFFDD69","DE"), ("BFFFDD68","2C"), ("BFFFDD67","08"), ("BFFFDD66","04"), ("BFFFDD65","84"), ("BFFFDD64","9D"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEF64"), ("EBP","BFFFEF88"), ("BFFFEF6F","00"), ("BFFFEF6E","00"), ("BFFFEF6D","00"), ("BFFFEF6C","01"), ("BFFFEF6B","BF"), ("BFFFEF6A","FF"), ("BFFFEF69","F0"), ("BFFFEF68","2C"), ("BFFFEF67","08"), ("BFFFEF66","04"), ("BFFFEF65","84"), ("BFFFEF64","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804849C")]
   [("ESP","BFFFEF68"), ("EBP","BFFFEF88"), ("BFFFEF6F","00"), ("BFFFEF6E","00"), ("BFFFEF6D","00"), ("BFFFEF6C","01"), ("BFFFEF6B","BF"), ("BFFFEF6A","FF"), ("BFFFEF69","F0"), ("BFFFEF68","2C"), ("BFFFEF67","08"), ("BFFFEF66","04"), ("BFFFEF65","84"), ("BFFFEF64","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE8E4"), ("EBP","BFFFE908"), ("BFFFE8EF","00"), ("BFFFE8EE","00"), ("BFFFE8ED","00"), ("BFFFE8EC","01"), ("BFFFE8EB","BF"), ("BFFFE8EA","FF"), ("BFFFE8E9","E9"), ("BFFFE8E8","AC"), ("BFFFE8E7","08"), ("BFFFE8E6","04"), ("BFFFE8E5","84"), ("BFFFE8E4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE8E8"), ("EBP","BFFFE908"), ("BFFFE8EF","00"), ("BFFFE8EE","00"), ("BFFFE8ED","00"), ("BFFFE8EC","01"), ("BFFFE8EB","BF"), ("BFFFE8EA","FF"), ("BFFFE8E9","E9"), ("BFFFE8E8","AC"), ("BFFFE8E7","08"), ("BFFFE8E6","04"), ("BFFFE8E5","84"), ("BFFFE8E4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE564"), ("EBP","BFFFE588"), ("BFFFE56F","00"), ("BFFFE56E","00"), ("BFFFE56D","00"), ("BFFFE56C","01"), ("BFFFE56B","BF"), ("BFFFE56A","FF"), ("BFFFE569","E6"), ("BFFFE568","2C"), ("BFFFE567","08"), ("BFFFE566","04"), ("BFFFE565","84"), ("BFFFE564","9D"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE568"), ("EBP","BFFFE588"), ("BFFFE56F","00"), ("BFFFE56E","00"), ("BFFFE56D","00"), ("BFFFE56C","01"), ("BFFFE56B","BF"), ("BFFFE56A","FF"), ("BFFFE569","E6"), ("BFFFE568","2C"), ("BFFFE567","08"), ("BFFFE566","04"), ("BFFFE565","84"), ("BFFFE564","9D"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDFE4"), ("EBP","BFFFE008"), ("BFFFDFEF","00"), ("BFFFDFEE","00"), ("BFFFDFED","00"), ("BFFFDFEC","01"), ("BFFFDFEB","BF"), ("BFFFDFEA","FF"), ("BFFFDFE9","E0"), ("BFFFDFE8","AC"), ("BFFFDFE7","08"), ("BFFFDFE6","04"), ("BFFFDFE5","84"), ("BFFFDFE4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDFE8"), ("EBP","BFFFE008"), ("BFFFDFEF","00"), ("BFFFDFEE","00"), ("BFFFDFED","00"), ("BFFFDFEC","01"), ("BFFFDFEB","BF"), ("BFFFDFEA","FF"), ("BFFFDFE9","E0"), ("BFFFDFE8","AC"), ("BFFFDFE7","08"), ("BFFFDFE6","04"), ("BFFFDFE5","84"), ("BFFFDFE4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFECE4"), ("EBP","BFFFED08"), ("BFFFECEF","00"), ("BFFFECEE","00"), ("BFFFECED","00"), ("BFFFECEC","01"), ("BFFFECEB","BF"), ("BFFFECEA","FF"), ("BFFFECE9","ED"), ("BFFFECE8","AC"), ("BFFFECE7","08"), ("BFFFECE6","04"), ("BFFFECE5","84"), ("BFFFECE4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804849C")]
   [("ESP","BFFFECE8"), ("EBP","BFFFED08"), ("BFFFECEF","00"), ("BFFFECEE","00"), ("BFFFECED","00"), ("BFFFECEC","01"), ("BFFFECEB","BF"), ("BFFFECEA","FF"), ("BFFFECE9","ED"), ("BFFFECE8","AC"), ("BFFFECE7","08"), ("BFFFECE6","04"), ("BFFFECE5","84"), ("BFFFECE4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE3E4"), ("EBP","BFFFE408"), ("BFFFE3EF","00"), ("BFFFE3EE","00"), ("BFFFE3ED","00"), ("BFFFE3EC","01"), ("BFFFE3EB","BF"), ("BFFFE3EA","FF"), ("BFFFE3E9","E4"), ("BFFFE3E8","AC"), ("BFFFE3E7","08"), ("BFFFE3E6","04"), ("BFFFE3E5","84"), ("BFFFE3E4","9D"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE3E8"), ("EBP","BFFFE408"), ("BFFFE3EF","00"), ("BFFFE3EE","00"), ("BFFFE3ED","00"), ("BFFFE3EC","01"), ("BFFFE3EB","BF"), ("BFFFE3EA","FF"), ("BFFFE3E9","E4"), ("BFFFE3E8","AC"), ("BFFFE3E7","08"), ("BFFFE3E6","04"), ("BFFFE3E5","84"), ("BFFFE3E4","9D"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDBE4"), ("EBP","BFFFDC08"), ("BFFFDBEF","00"), ("BFFFDBEE","00"), ("BFFFDBED","00"), ("BFFFDBEC","01"), ("BFFFDBEB","BF"), ("BFFFDBEA","FF"), ("BFFFDBE9","DC"), ("BFFFDBE8","AC"), ("BFFFDBE7","08"), ("BFFFDBE6","04"), ("BFFFDBE5","84"), ("BFFFDBE4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDBE8"), ("EBP","BFFFDC08"), ("BFFFDBEF","00"), ("BFFFDBEE","00"), ("BFFFDBED","00"), ("BFFFDBEC","01"), ("BFFFDBEB","BF"), ("BFFFDBEA","FF"), ("BFFFDBE9","DC"), ("BFFFDBE8","AC"), ("BFFFDBE7","08"), ("BFFFDBE6","04"), ("BFFFDBE5","84"), ("BFFFDBE4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDC64"), ("EBP","BFFFDC88"), ("BFFFDC6F","00"), ("BFFFDC6E","00"), ("BFFFDC6D","00"), ("BFFFDC6C","01"), ("BFFFDC6B","BF"), ("BFFFDC6A","FF"), ("BFFFDC69","DD"), ("BFFFDC68","2C"), ("BFFFDC67","08"), ("BFFFDC66","04"), ("BFFFDC65","84"), ("BFFFDC64","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDC68"), ("EBP","BFFFDC88"), ("BFFFDC6F","00"), ("BFFFDC6E","00"), ("BFFFDC6D","00"), ("BFFFDC6C","01"), ("BFFFDC6B","BF"), ("BFFFDC6A","FF"), ("BFFFDC69","DD"), ("BFFFDC68","2C"), ("BFFFDC67","08"), ("BFFFDC66","04"), ("BFFFDC65","84"), ("BFFFDC64","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFD664"), ("EBP","BFFFD688"), ("BFFFD66F","00"), ("BFFFD66E","00"), ("BFFFD66D","00"), ("BFFFD66C","01"), ("BFFFD66B","BF"), ("BFFFD66A","FF"), ("BFFFD669","D7"), ("BFFFD668","2C"), ("BFFFD667","08"), ("BFFFD666","04"), ("BFFFD665","84"), ("BFFFD664","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFD668"), ("EBP","BFFFD688"), ("BFFFD66F","00"), ("BFFFD66E","00"), ("BFFFD66D","00"), ("BFFFD66C","01"), ("BFFFD66B","BF"), ("BFFFD66A","FF"), ("BFFFD669","D7"), ("BFFFD668","2C"), ("BFFFD667","08"), ("BFFFD666","04"), ("BFFFD665","84"), ("BFFFD664","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDDE4"), ("EBP","BFFFDE08"), ("BFFFDDEF","00"), ("BFFFDDEE","00"), ("BFFFDDED","00"), ("BFFFDDEC","01"), ("BFFFDDEB","BF"), ("BFFFDDEA","FF"), ("BFFFDDE9","DE"), ("BFFFDDE8","AC"), ("BFFFDDE7","08"), ("BFFFDDE6","04"), ("BFFFDDE5","84"), ("BFFFDDE4","9D"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDDE8"), ("EBP","BFFFDE08"), ("BFFFDDEF","00"), ("BFFFDDEE","00"), ("BFFFDDED","00"), ("BFFFDDEC","01"), ("BFFFDDEB","BF"), ("BFFFDDEA","FF"), ("BFFFDDE9","DE"), ("BFFFDDE8","AC"), ("BFFFDDE7","08"), ("BFFFDDE6","04"), ("BFFFDDE5","84"), ("BFFFDDE4","9D"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF4E4"), ("EBP","BFFFF508"), ("BFFFF4EF","00"), ("BFFFF4EE","00"), ("BFFFF4ED","00"), ("BFFFF4EC","01"), ("BFFFF4EB","BF"), ("BFFFF4EA","FF"), ("BFFFF4E9","F5"), ("BFFFF4E8","AC"), ("BFFFF4E7","08"), ("BFFFF4E6","04"), ("BFFFF4E5","84"), ("BFFFF4E4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF4E8"), ("EBP","BFFFF508"), ("BFFFF4EF","00"), ("BFFFF4EE","00"), ("BFFFF4ED","00"), ("BFFFF4EC","01"), ("BFFFF4EB","BF"), ("BFFFF4EA","FF"), ("BFFFF4E9","F5"), ("BFFFF4E8","AC"), ("BFFFF4E7","08"), ("BFFFF4E6","04"), ("BFFFF4E5","84"), ("BFFFF4E4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEF64"), ("EBP","BFFFEF88"), ("BFFFEF6F","00"), ("BFFFEF6E","00"), ("BFFFEF6D","00"), ("BFFFEF6C","01"), ("BFFFEF6B","BF"), ("BFFFEF6A","FF"), ("BFFFEF69","F0"), ("BFFFEF68","2C"), ("BFFFEF67","08"), ("BFFFEF66","04"), ("BFFFEF65","84"), ("BFFFEF64","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFEF68"), ("EBP","BFFFEF88"), ("BFFFEF6F","00"), ("BFFFEF6E","00"), ("BFFFEF6D","00"), ("BFFFEF6C","01"), ("BFFFEF6B","BF"), ("BFFFEF6A","FF"), ("BFFFEF69","F0"), ("BFFFEF68","2C"), ("BFFFEF67","08"), ("BFFFEF66","04"), ("BFFFEF65","84"), ("BFFFEF64","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDA64"), ("EBP","BFFFDA88"), ("BFFFDA6F","00"), ("BFFFDA6E","00"), ("BFFFDA6D","00"), ("BFFFDA6C","01"), ("BFFFDA6B","BF"), ("BFFFDA6A","FF"), ("BFFFDA69","DB"), ("BFFFDA68","2C"), ("BFFFDA67","08"), ("BFFFDA66","04"), ("BFFFDA65","84"), ("BFFFDA64","9D"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDA68"), ("EBP","BFFFDA88"), ("BFFFDA6F","00"), ("BFFFDA6E","00"), ("BFFFDA6D","00"), ("BFFFDA6C","01"), ("BFFFDA6B","BF"), ("BFFFDA6A","FF"), ("BFFFDA69","DB"), ("BFFFDA68","2C"), ("BFFFDA67","08"), ("BFFFDA66","04"), ("BFFFDA65","84"), ("BFFFDA64","9D"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE764"), ("EBP","BFFFE788"), ("BFFFE76F","00"), ("BFFFE76E","00"), ("BFFFE76D","00"), ("BFFFE76C","01"), ("BFFFE76B","BF"), ("BFFFE76A","FF"), ("BFFFE769","E8"), ("BFFFE768","2C"), ("BFFFE767","08"), ("BFFFE766","04"), ("BFFFE765","84"), ("BFFFE764","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE768"), ("EBP","BFFFE788"), ("BFFFE76F","00"), ("BFFFE76E","00"), ("BFFFE76D","00"), ("BFFFE76C","01"), ("BFFFE76B","BF"), ("BFFFE76A","FF"), ("BFFFE769","E8"), ("BFFFE768","2C"), ("BFFFE767","08"), ("BFFFE766","04"), ("BFFFE765","84"), ("BFFFE764","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE9E4"), ("EBP","BFFFEA08"), ("BFFFE9EF","00"), ("BFFFE9EE","00"), ("BFFFE9ED","00"), ("BFFFE9EC","01"), ("BFFFE9EB","BF"), ("BFFFE9EA","FF"), ("BFFFE9E9","EA"), ("BFFFE9E8","AC"), ("BFFFE9E7","08"), ("BFFFE9E6","04"), ("BFFFE9E5","84"), ("BFFFE9E4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE9E8"), ("EBP","BFFFEA08"), ("BFFFE9EF","00"), ("BFFFE9EE","00"), ("BFFFE9ED","00"), ("BFFFE9EC","01"), ("BFFFE9EB","BF"), ("BFFFE9EA","FF"), ("BFFFE9E9","EA"), ("BFFFE9E8","AC"), ("BFFFE9E7","08"), ("BFFFE9E6","04"), ("BFFFE9E5","84"), ("BFFFE9E4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDCE4"), ("EBP","BFFFDD08"), ("BFFFDCEF","00"), ("BFFFDCEE","00"), ("BFFFDCED","00"), ("BFFFDCEC","01"), ("BFFFDCEB","BF"), ("BFFFDCEA","FF"), ("BFFFDCE9","DD"), ("BFFFDCE8","AC"), ("BFFFDCE7","08"), ("BFFFDCE6","04"), ("BFFFDCE5","84"), ("BFFFDCE4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDCE8"), ("EBP","BFFFDD08"), ("BFFFDCEF","00"), ("BFFFDCEE","00"), ("BFFFDCED","00"), ("BFFFDCEC","01"), ("BFFFDCEB","BF"), ("BFFFDCEA","FF"), ("BFFFDCE9","DD"), ("BFFFDCE8","AC"), ("BFFFDCE7","08"), ("BFFFDCE6","04"), ("BFFFDCE5","84"), ("BFFFDCE4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDA64"), ("EBP","BFFFDA88"), ("BFFFDA6F","00"), ("BFFFDA6E","00"), ("BFFFDA6D","00"), ("BFFFDA6C","01"), ("BFFFDA6B","BF"), ("BFFFDA6A","FF"), ("BFFFDA69","DB"), ("BFFFDA68","2C"), ("BFFFDA67","08"), ("BFFFDA66","04"), ("BFFFDA65","84"), ("BFFFDA64","9D"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDA68"), ("EBP","BFFFDA88"), ("BFFFDA6F","00"), ("BFFFDA6E","00"), ("BFFFDA6D","00"), ("BFFFDA6C","01"), ("BFFFDA6B","BF"), ("BFFFDA6A","FF"), ("BFFFDA69","DB"), ("BFFFDA68","2C"), ("BFFFDA67","08"), ("BFFFDA66","04"), ("BFFFDA65","84"), ("BFFFDA64","9D"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF264"), ("EBP","BFFFF288"), ("BFFFF26F","00"), ("BFFFF26E","00"), ("BFFFF26D","00"), ("BFFFF26C","01"), ("BFFFF26B","BF"), ("BFFFF26A","FF"), ("BFFFF269","F3"), ("BFFFF268","2C"), ("BFFFF267","08"), ("BFFFF266","04"), ("BFFFF265","84"), ("BFFFF264","9D"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF268"), ("EBP","BFFFF288"), ("BFFFF26F","00"), ("BFFFF26E","00"), ("BFFFF26D","00"), ("BFFFF26C","01"), ("BFFFF26B","BF"), ("BFFFF26A","FF"), ("BFFFF269","F3"), ("BFFFF268","2C"), ("BFFFF267","08"), ("BFFFF266","04"), ("BFFFF265","84"), ("BFFFF264","9D"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE9E4"), ("EBP","BFFFEA08"), ("BFFFE9EF","00"), ("BFFFE9EE","00"), ("BFFFE9ED","00"), ("BFFFE9EC","01"), ("BFFFE9EB","BF"), ("BFFFE9EA","FF"), ("BFFFE9E9","EA"), ("BFFFE9E8","AC"), ("BFFFE9E7","08"), ("BFFFE9E6","04"), ("BFFFE9E5","84"), ("BFFFE9E4","9D"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE9E8"), ("EBP","BFFFEA08"), ("BFFFE9EF","00"), ("BFFFE9EE","00"), ("BFFFE9ED","00"), ("BFFFE9EC","01"), ("BFFFE9EB","BF"), ("BFFFE9EA","FF"), ("BFFFE9E9","EA"), ("BFFFE9E8","AC"), ("BFFFE9E7","08"), ("BFFFE9E6","04"), ("BFFFE9E5","84"), ("BFFFE9E4","9D"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE9E4"), ("EBP","BFFFEA08"), ("BFFFE9EF","00"), ("BFFFE9EE","00"), ("BFFFE9ED","00"), ("BFFFE9EC","01"), ("BFFFE9EB","BF"), ("BFFFE9EA","FF"), ("BFFFE9E9","EA"), ("BFFFE9E8","AC"), ("BFFFE9E7","08"), ("BFFFE9E6","04"), ("BFFFE9E5","84"), ("BFFFE9E4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE9E8"), ("EBP","BFFFEA08"), ("BFFFE9EF","00"), ("BFFFE9EE","00"), ("BFFFE9ED","00"), ("BFFFE9EC","01"), ("BFFFE9EB","BF"), ("BFFFE9EA","FF"), ("BFFFE9E9","EA"), ("BFFFE9E8","AC"), ("BFFFE9E7","08"), ("BFFFE9E6","04"), ("BFFFE9E5","84"), ("BFFFE9E4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFED64"), ("EBP","BFFFED88"), ("BFFFED6F","00"), ("BFFFED6E","00"), ("BFFFED6D","00"), ("BFFFED6C","01"), ("BFFFED6B","BF"), ("BFFFED6A","FF"), ("BFFFED69","EE"), ("BFFFED68","2C"), ("BFFFED67","08"), ("BFFFED66","04"), ("BFFFED65","84"), ("BFFFED64","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFED68"), ("EBP","BFFFED88"), ("BFFFED6F","00"), ("BFFFED6E","00"), ("BFFFED6D","00"), ("BFFFED6C","01"), ("BFFFED6B","BF"), ("BFFFED6A","FF"), ("BFFFED69","EE"), ("BFFFED68","2C"), ("BFFFED67","08"), ("BFFFED66","04"), ("BFFFED65","84"), ("BFFFED64","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE864"), ("EBP","BFFFE888"), ("BFFFE86F","00"), ("BFFFE86E","00"), ("BFFFE86D","00"), ("BFFFE86C","01"), ("BFFFE86B","BF"), ("BFFFE86A","FF"), ("BFFFE869","E9"), ("BFFFE868","2C"), ("BFFFE867","08"), ("BFFFE866","04"), ("BFFFE865","84"), ("BFFFE864","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE868"), ("EBP","BFFFE888"), ("BFFFE86F","00"), ("BFFFE86E","00"), ("BFFFE86D","00"), ("BFFFE86C","01"), ("BFFFE86B","BF"), ("BFFFE86A","FF"), ("BFFFE869","E9"), ("BFFFE868","2C"), ("BFFFE867","08"), ("BFFFE866","04"), ("BFFFE865","84"), ("BFFFE864","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE0E4"), ("EBP","BFFFE108"), ("BFFFE0EF","00"), ("BFFFE0EE","00"), ("BFFFE0ED","00"), ("BFFFE0EC","01"), ("BFFFE0EB","BF"), ("BFFFE0EA","FF"), ("BFFFE0E9","E1"), ("BFFFE0E8","AC"), ("BFFFE0E7","08"), ("BFFFE0E6","04"), ("BFFFE0E5","84"), ("BFFFE0E4","9D"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE0E8"), ("EBP","BFFFE108"), ("BFFFE0EF","00"), ("BFFFE0EE","00"), ("BFFFE0ED","00"), ("BFFFE0EC","01"), ("BFFFE0EB","BF"), ("BFFFE0EA","FF"), ("BFFFE0E9","E1"), ("BFFFE0E8","AC"), ("BFFFE0E7","08"), ("BFFFE0E6","04"), ("BFFFE0E5","84"), ("BFFFE0E4","9D"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDBE4"), ("EBP","BFFFDC08"), ("BFFFDBEF","00"), ("BFFFDBEE","00"), ("BFFFDBED","00"), ("BFFFDBEC","01"), ("BFFFDBEB","BF"), ("BFFFDBEA","FF"), ("BFFFDBE9","DC"), ("BFFFDBE8","AC"), ("BFFFDBE7","08"), ("BFFFDBE6","04"), ("BFFFDBE5","84"), ("BFFFDBE4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDBE8"), ("EBP","BFFFDC08"), ("BFFFDBEF","00"), ("BFFFDBEE","00"), ("BFFFDBED","00"), ("BFFFDBEC","01"), ("BFFFDBEB","BF"), ("BFFFDBEA","FF"), ("BFFFDBE9","DC"), ("BFFFDBE8","AC"), ("BFFFDBE7","08"), ("BFFFDBE6","04"), ("BFFFDBE5","84"), ("BFFFDBE4","9D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDF64"), ("EBP","BFFFDF88"), ("BFFFDF6F","00"), ("BFFFDF6E","00"), ("BFFFDF6D","00"), ("BFFFDF6C","01"), ("BFFFDF6B","BF"), ("BFFFDF6A","FF"), ("BFFFDF69","E0"), ("BFFFDF68","2C"), ("BFFFDF67","08"), ("BFFFDF66","04"), ("BFFFDF65","84"), ("BFFFDF64","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804849C")]
   [("ESP","BFFFDF68"), ("EBP","BFFFDF88"), ("BFFFDF6F","00"), ("BFFFDF6E","00"), ("BFFFDF6D","00"), ("BFFFDF6C","01"), ("BFFFDF6B","BF"), ("BFFFDF6A","FF"), ("BFFFDF69","E0"), ("BFFFDF68","2C"), ("BFFFDF67","08"), ("BFFFDF66","04"), ("BFFFDF65","84"), ("BFFFDF64","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFD6E4"), ("EBP","BFFFD708"), ("BFFFD6EF","00"), ("BFFFD6EE","00"), ("BFFFD6ED","00"), ("BFFFD6EC","01"), ("BFFFD6EB","BF"), ("BFFFD6EA","FF"), ("BFFFD6E9","D7"), ("BFFFD6E8","AC"), ("BFFFD6E7","08"), ("BFFFD6E6","04"), ("BFFFD6E5","84"), ("BFFFD6E4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFD6E8"), ("EBP","BFFFD708"), ("BFFFD6EF","00"), ("BFFFD6EE","00"), ("BFFFD6ED","00"), ("BFFFD6EC","01"), ("BFFFD6EB","BF"), ("BFFFD6EA","FF"), ("BFFFD6E9","D7"), ("BFFFD6E8","AC"), ("BFFFD6E7","08"), ("BFFFD6E6","04"), ("BFFFD6E5","84"), ("BFFFD6E4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE7E4"), ("EBP","BFFFE808"), ("BFFFE7EF","00"), ("BFFFE7EE","00"), ("BFFFE7ED","00"), ("BFFFE7EC","01"), ("BFFFE7EB","BF"), ("BFFFE7EA","FF"), ("BFFFE7E9","E8"), ("BFFFE7E8","AC"), ("BFFFE7E7","08"), ("BFFFE7E6","04"), ("BFFFE7E5","84"), ("BFFFE7E4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE7E8"), ("EBP","BFFFE808"), ("BFFFE7EF","00"), ("BFFFE7EE","00"), ("BFFFE7ED","00"), ("BFFFE7EC","01"), ("BFFFE7EB","BF"), ("BFFFE7EA","FF"), ("BFFFE7E9","E8"), ("BFFFE7E8","AC"), ("BFFFE7E7","08"), ("BFFFE7E6","04"), ("BFFFE7E5","84"), ("BFFFE7E4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF4E4"), ("EBP","BFFFF508"), ("BFFFF4EF","00"), ("BFFFF4EE","00"), ("BFFFF4ED","00"), ("BFFFF4EC","01"), ("BFFFF4EB","BF"), ("BFFFF4EA","FF"), ("BFFFF4E9","F5"), ("BFFFF4E8","AC"), ("BFFFF4E7","08"), ("BFFFF4E6","04"), ("BFFFF4E5","84"), ("BFFFF4E4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF4E8"), ("EBP","BFFFF508"), ("BFFFF4EF","00"), ("BFFFF4EE","00"), ("BFFFF4ED","00"), ("BFFFF4EC","01"), ("BFFFF4EB","BF"), ("BFFFF4EA","FF"), ("BFFFF4E9","F5"), ("BFFFF4E8","AC"), ("BFFFF4E7","08"), ("BFFFF4E6","04"), ("BFFFF4E5","84"), ("BFFFF4E4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF364"), ("EBP","BFFFF388"), ("BFFFF36F","00"), ("BFFFF36E","00"), ("BFFFF36D","00"), ("BFFFF36C","01"), ("BFFFF36B","BF"), ("BFFFF36A","FF"), ("BFFFF369","F4"), ("BFFFF368","2C"), ("BFFFF367","08"), ("BFFFF366","04"), ("BFFFF365","84"), ("BFFFF364","9D"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF368"), ("EBP","BFFFF388"), ("BFFFF36F","00"), ("BFFFF36E","00"), ("BFFFF36D","00"), ("BFFFF36C","01"), ("BFFFF36B","BF"), ("BFFFF36A","FF"), ("BFFFF369","F4"), ("BFFFF368","2C"), ("BFFFF367","08"), ("BFFFF366","04"), ("BFFFF365","84"), ("BFFFF364","9D"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEEE4"), ("EBP","BFFFEF08"), ("BFFFEEEF","00"), ("BFFFEEEE","00"), ("BFFFEEED","00"), ("BFFFEEEC","01"), ("BFFFEEEB","BF"), ("BFFFEEEA","FF"), ("BFFFEEE9","EF"), ("BFFFEEE8","AC"), ("BFFFEEE7","08"), ("BFFFEEE6","04"), ("BFFFEEE5","84"), ("BFFFEEE4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFEEE8"), ("EBP","BFFFEF08"), ("BFFFEEEF","00"), ("BFFFEEEE","00"), ("BFFFEEED","00"), ("BFFFEEEC","01"), ("BFFFEEEB","BF"), ("BFFFEEEA","FF"), ("BFFFEEE9","EF"), ("BFFFEEE8","AC"), ("BFFFEEE7","08"), ("BFFFEEE6","04"), ("BFFFEEE5","84"), ("BFFFEEE4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE5E4"), ("EBP","BFFFE608"), ("BFFFE5EF","00"), ("BFFFE5EE","00"), ("BFFFE5ED","00"), ("BFFFE5EC","01"), ("BFFFE5EB","BF"), ("BFFFE5EA","FF"), ("BFFFE5E9","E6"), ("BFFFE5E8","AC"), ("BFFFE5E7","08"), ("BFFFE5E6","04"), ("BFFFE5E5","84"), ("BFFFE5E4","9D"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE5E8"), ("EBP","BFFFE608"), ("BFFFE5EF","00"), ("BFFFE5EE","00"), ("BFFFE5ED","00"), ("BFFFE5EC","01"), ("BFFFE5EB","BF"), ("BFFFE5EA","FF"), ("BFFFE5E9","E6"), ("BFFFE5E8","AC"), ("BFFFE5E7","08"), ("BFFFE5E6","04"), ("BFFFE5E5","84"), ("BFFFE5E4","9D"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF264"), ("EBP","BFFFF288"), ("BFFFF26F","00"), ("BFFFF26E","00"), ("BFFFF26D","00"), ("BFFFF26C","01"), ("BFFFF26B","BF"), ("BFFFF26A","FF"), ("BFFFF269","F3"), ("BFFFF268","2C"), ("BFFFF267","08"), ("BFFFF266","04"), ("BFFFF265","84"), ("BFFFF264","9D"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF268"), ("EBP","BFFFF288"), ("BFFFF26F","00"), ("BFFFF26E","00"), ("BFFFF26D","00"), ("BFFFF26C","01"), ("BFFFF26B","BF"), ("BFFFF26A","FF"), ("BFFFF269","F3"), ("BFFFF268","2C"), ("BFFFF267","08"), ("BFFFF266","04"), ("BFFFF265","84"), ("BFFFF264","9D"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE7A4"), ("EBP","BFFFE7C8"), ("BFFFE7AF","00"), ("BFFFE7AE","00"), ("BFFFE7AD","00"), ("BFFFE7AC","01"), ("BFFFE7AB","BF"), ("BFFFE7AA","FF"), ("BFFFE7A9","E8"), ("BFFFE7A8","6C"), ("BFFFE7A7","08"), ("BFFFE7A6","04"), ("BFFFE7A5","84"), ("BFFFE7A4","9D"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE7A8"), ("EBP","BFFFE7C8"), ("BFFFE7AF","00"), ("BFFFE7AE","00"), ("BFFFE7AD","00"), ("BFFFE7AC","01"), ("BFFFE7AB","BF"), ("BFFFE7AA","FF"), ("BFFFE7A9","E8"), ("BFFFE7A8","6C"), ("BFFFE7A7","08"), ("BFFFE7A6","04"), ("BFFFE7A5","84"), ("BFFFE7A4","9D"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE024"), ("EBP","BFFFE048"), ("BFFFE02F","00"), ("BFFFE02E","00"), ("BFFFE02D","00"), ("BFFFE02C","01"), ("BFFFE02B","BF"), ("BFFFE02A","FF"), ("BFFFE029","E0"), ("BFFFE028","EC"), ("BFFFE027","08"), ("BFFFE026","04"), ("BFFFE025","84"), ("BFFFE024","9D"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE028"), ("EBP","BFFFE048"), ("BFFFE02F","00"), ("BFFFE02E","00"), ("BFFFE02D","00"), ("BFFFE02C","01"), ("BFFFE02B","BF"), ("BFFFE02A","FF"), ("BFFFE029","E0"), ("BFFFE028","EC"), ("BFFFE027","08"), ("BFFFE026","04"), ("BFFFE025","84"), ("BFFFE024","9D"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDA24"), ("EBP","BFFFDA48"), ("BFFFDA2F","00"), ("BFFFDA2E","00"), ("BFFFDA2D","00"), ("BFFFDA2C","01"), ("BFFFDA2B","BF"), ("BFFFDA2A","FF"), ("BFFFDA29","DA"), ("BFFFDA28","EC"), ("BFFFDA27","08"), ("BFFFDA26","04"), ("BFFFDA25","84"), ("BFFFDA24","9D"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFDA28"), ("EBP","BFFFDA48"), ("BFFFDA2F","00"), ("BFFFDA2E","00"), ("BFFFDA2D","00"), ("BFFFDA2C","01"), ("BFFFDA2B","BF"), ("BFFFDA2A","FF"), ("BFFFDA29","DA"), ("BFFFDA28","EC"), ("BFFFDA27","08"), ("BFFFDA26","04"), ("BFFFDA25","84"), ("BFFFDA24","9D"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE8A4"), ("EBP","BFFFE8C8"), ("BFFFE8AF","00"), ("BFFFE8AE","00"), ("BFFFE8AD","00"), ("BFFFE8AC","01"), ("BFFFE8AB","BF"), ("BFFFE8AA","FF"), ("BFFFE8A9","E9"), ("BFFFE8A8","6C"), ("BFFFE8A7","08"), ("BFFFE8A6","04"), ("BFFFE8A5","84"), ("BFFFE8A4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE8A8"), ("EBP","BFFFE8C8"), ("BFFFE8AF","00"), ("BFFFE8AE","00"), ("BFFFE8AD","00"), ("BFFFE8AC","01"), ("BFFFE8AB","BF"), ("BFFFE8AA","FF"), ("BFFFE8A9","E9"), ("BFFFE8A8","6C"), ("BFFFE8A7","08"), ("BFFFE8A6","04"), ("BFFFE8A5","84"), ("BFFFE8A4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFD824"), ("EBP","BFFFD848"), ("BFFFD82F","00"), ("BFFFD82E","00"), ("BFFFD82D","00"), ("BFFFD82C","01"), ("BFFFD82B","BF"), ("BFFFD82A","FF"), ("BFFFD829","D8"), ("BFFFD828","EC"), ("BFFFD827","08"), ("BFFFD826","04"), ("BFFFD825","84"), ("BFFFD824","9D"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFD828"), ("EBP","BFFFD848"), ("BFFFD82F","00"), ("BFFFD82E","00"), ("BFFFD82D","00"), ("BFFFD82C","01"), ("BFFFD82B","BF"), ("BFFFD82A","FF"), ("BFFFD829","D8"), ("BFFFD828","EC"), ("BFFFD827","08"), ("BFFFD826","04"), ("BFFFD825","84"), ("BFFFD824","9D"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF0A4"), ("EBP","BFFFF0C8"), ("BFFFF0AF","00"), ("BFFFF0AE","00"), ("BFFFF0AD","00"), ("BFFFF0AC","01"), ("BFFFF0AB","BF"), ("BFFFF0AA","FF"), ("BFFFF0A9","F1"), ("BFFFF0A8","6C"), ("BFFFF0A7","08"), ("BFFFF0A6","04"), ("BFFFF0A5","84"), ("BFFFF0A4","9D"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF0A8"), ("EBP","BFFFF0C8"), ("BFFFF0AF","00"), ("BFFFF0AE","00"), ("BFFFF0AD","00"), ("BFFFF0AC","01"), ("BFFFF0AB","BF"), ("BFFFF0AA","FF"), ("BFFFF0A9","F1"), ("BFFFF0A8","6C"), ("BFFFF0A7","08"), ("BFFFF0A6","04"), ("BFFFF0A5","84"), ("BFFFF0A4","9D"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF1A4"), ("EBP","BFFFF1C8"), ("BFFFF1AF","00"), ("BFFFF1AE","00"), ("BFFFF1AD","00"), ("BFFFF1AC","01"), ("BFFFF1AB","BF"), ("BFFFF1AA","FF"), ("BFFFF1A9","F2"), ("BFFFF1A8","6C"), ("BFFFF1A7","08"), ("BFFFF1A6","04"), ("BFFFF1A5","84"), ("BFFFF1A4","9D"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF1A8"), ("EBP","BFFFF1C8"), ("BFFFF1AF","00"), ("BFFFF1AE","00"), ("BFFFF1AD","00"), ("BFFFF1AC","01"), ("BFFFF1AB","BF"), ("BFFFF1AA","FF"), ("BFFFF1A9","F2"), ("BFFFF1A8","6C"), ("BFFFF1A7","08"), ("BFFFF1A6","04"), ("BFFFF1A5","84"), ("BFFFF1A4","9D"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE2A4"), ("EBP","BFFFE2C8"), ("BFFFE2AF","00"), ("BFFFE2AE","00"), ("BFFFE2AD","00"), ("BFFFE2AC","01"), ("BFFFE2AB","BF"), ("BFFFE2AA","FF"), ("BFFFE2A9","E3"), ("BFFFE2A8","6C"), ("BFFFE2A7","08"), ("BFFFE2A6","04"), ("BFFFE2A5","84"), ("BFFFE2A4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE2A8"), ("EBP","BFFFE2C8"), ("BFFFE2AF","00"), ("BFFFE2AE","00"), ("BFFFE2AD","00"), ("BFFFE2AC","01"), ("BFFFE2AB","BF"), ("BFFFE2AA","FF"), ("BFFFE2A9","E3"), ("BFFFE2A8","6C"), ("BFFFE2A7","08"), ("BFFFE2A6","04"), ("BFFFE2A5","84"), ("BFFFE2A4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFEDA4"), ("EBP","BFFFEDC8"), ("BFFFEDAF","00"), ("BFFFEDAE","00"), ("BFFFEDAD","00"), ("BFFFEDAC","01"), ("BFFFEDAB","BF"), ("BFFFEDAA","FF"), ("BFFFEDA9","EE"), ("BFFFEDA8","6C"), ("BFFFEDA7","08"), ("BFFFEDA6","04"), ("BFFFEDA5","84"), ("BFFFEDA4","9D"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFEDA8"), ("EBP","BFFFEDC8"), ("BFFFEDAF","00"), ("BFFFEDAE","00"), ("BFFFEDAD","00"), ("BFFFEDAC","01"), ("BFFFEDAB","BF"), ("BFFFEDAA","FF"), ("BFFFEDA9","EE"), ("BFFFEDA8","6C"), ("BFFFEDA7","08"), ("BFFFEDA6","04"), ("BFFFEDA5","84"), ("BFFFEDA4","9D"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF4A4"), ("EBP","BFFFF4C8"), ("BFFFF4AF","00"), ("BFFFF4AE","00"), ("BFFFF4AD","00"), ("BFFFF4AC","01"), ("BFFFF4AB","BF"), ("BFFFF4AA","FF"), ("BFFFF4A9","F5"), ("BFFFF4A8","6C"), ("BFFFF4A7","08"), ("BFFFF4A6","04"), ("BFFFF4A5","84"), ("BFFFF4A4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF4A8"), ("EBP","BFFFF4C8"), ("BFFFF4AF","00"), ("BFFFF4AE","00"), ("BFFFF4AD","00"), ("BFFFF4AC","01"), ("BFFFF4AB","BF"), ("BFFFF4AA","FF"), ("BFFFF4A9","F5"), ("BFFFF4A8","6C"), ("BFFFF4A7","08"), ("BFFFF4A6","04"), ("BFFFF4A5","84"), ("BFFFF4A4","9D"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFDA24"), ("EBP","BFFFDA48"), ("BFFFDA2F","00"), ("BFFFDA2E","00"), ("BFFFDA2D","00"), ("BFFFDA2C","01"), ("BFFFDA2B","BF"), ("BFFFDA2A","FF"), ("BFFFDA29","DA"), ("BFFFDA28","EC"), ("BFFFDA27","08"), ("BFFFDA26","04"), ("BFFFDA25","84"), ("BFFFDA24","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804849C")]
   [("ESP","BFFFDA28"), ("EBP","BFFFDA48"), ("BFFFDA2F","00"), ("BFFFDA2E","00"), ("BFFFDA2D","00"), ("BFFFDA2C","01"), ("BFFFDA2B","BF"), ("BFFFDA2A","FF"), ("BFFFDA29","DA"), ("BFFFDA28","EC"), ("BFFFDA27","08"), ("BFFFDA26","04"), ("BFFFDA25","84"), ("BFFFDA24","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE0A4"), ("EBP","BFFFE0C8"), ("BFFFE0AF","00"), ("BFFFE0AE","00"), ("BFFFE0AD","00"), ("BFFFE0AC","01"), ("BFFFE0AB","BF"), ("BFFFE0AA","FF"), ("BFFFE0A9","E1"), ("BFFFE0A8","6C"), ("BFFFE0A7","08"), ("BFFFE0A6","04"), ("BFFFE0A5","84"), ("BFFFE0A4","9D"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE0A8"), ("EBP","BFFFE0C8"), ("BFFFE0AF","00"), ("BFFFE0AE","00"), ("BFFFE0AD","00"), ("BFFFE0AC","01"), ("BFFFE0AB","BF"), ("BFFFE0AA","FF"), ("BFFFE0A9","E1"), ("BFFFE0A8","6C"), ("BFFFE0A7","08"), ("BFFFE0A6","04"), ("BFFFE0A5","84"), ("BFFFE0A4","9D"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE124"), ("EBP","BFFFE148"), ("BFFFE12F","00"), ("BFFFE12E","00"), ("BFFFE12D","00"), ("BFFFE12C","01"), ("BFFFE12B","BF"), ("BFFFE12A","FF"), ("BFFFE129","E1"), ("BFFFE128","EC"), ("BFFFE127","08"), ("BFFFE126","04"), ("BFFFE125","84"), ("BFFFE124","9D"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE128"), ("EBP","BFFFE148"), ("BFFFE12F","00"), ("BFFFE12E","00"), ("BFFFE12D","00"), ("BFFFE12C","01"), ("BFFFE12B","BF"), ("BFFFE12A","FF"), ("BFFFE129","E1"), ("BFFFE128","EC"), ("BFFFE127","08"), ("BFFFE126","04"), ("BFFFE125","84"), ("BFFFE124","9D"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF2A4"), ("EBP","BFFFF2C8"), ("BFFFF2AF","00"), ("BFFFF2AE","00"), ("BFFFF2AD","00"), ("BFFFF2AC","01"), ("BFFFF2AB","BF"), ("BFFFF2AA","FF"), ("BFFFF2A9","F3"), ("BFFFF2A8","6C"), ("BFFFF2A7","08"), ("BFFFF2A6","04"), ("BFFFF2A5","84"), ("BFFFF2A4","9D"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF2A8"), ("EBP","BFFFF2C8"), ("BFFFF2AF","00"), ("BFFFF2AE","00"), ("BFFFF2AD","00"), ("BFFFF2AC","01"), ("BFFFF2AB","BF"), ("BFFFF2AA","FF"), ("BFFFF2A9","F3"), ("BFFFF2A8","6C"), ("BFFFF2A7","08"), ("BFFFF2A6","04"), ("BFFFF2A5","84"), ("BFFFF2A4","9D"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE7A4"), ("EBP","BFFFE7C8"), ("BFFFE7AF","00"), ("BFFFE7AE","00"), ("BFFFE7AD","00"), ("BFFFE7AC","01"), ("BFFFE7AB","BF"), ("BFFFE7AA","FF"), ("BFFFE7A9","E8"), ("BFFFE7A8","6C"), ("BFFFE7A7","08"), ("BFFFE7A6","04"), ("BFFFE7A5","84"), ("BFFFE7A4","9D"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE7A8"), ("EBP","BFFFE7C8"), ("BFFFE7AF","00"), ("BFFFE7AE","00"), ("BFFFE7AD","00"), ("BFFFE7AC","01"), ("BFFFE7AB","BF"), ("BFFFE7AA","FF"), ("BFFFE7A9","E8"), ("BFFFE7A8","6C"), ("BFFFE7A7","08"), ("BFFFE7A6","04"), ("BFFFE7A5","84"), ("BFFFE7A4","9D"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFE8A4"), ("EBP","BFFFE8C8"), ("BFFFE8AF","00"), ("BFFFE8AE","00"), ("BFFFE8AD","00"), ("BFFFE8AC","01"), ("BFFFE8AB","BF"), ("BFFFE8AA","FF"), ("BFFFE8A9","E9"), ("BFFFE8A8","6C"), ("BFFFE8A7","08"), ("BFFFE8A6","04"), ("BFFFE8A5","84"), ("BFFFE8A4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804849C")]
   [("ESP","BFFFE8A8"), ("EBP","BFFFE8C8"), ("BFFFE8AF","00"), ("BFFFE8AE","00"), ("BFFFE8AD","00"), ("BFFFE8AC","01"), ("BFFFE8AB","BF"), ("BFFFE8AA","FF"), ("BFFFE8A9","E9"), ("BFFFE8A8","6C"), ("BFFFE8A7","08"), ("BFFFE8A6","04"), ("BFFFE8A5","84"), ("BFFFE8A4","9D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFD6A4"), ("EBP","BFFFD6C8"), ("BFFFD6AF","00"), ("BFFFD6AE","00"), ("BFFFD6AD","00"), ("BFFFD6AC","01"), ("BFFFD6AB","BF"), ("BFFFD6AA","FF"), ("BFFFD6A9","D7"), ("BFFFD6A8","6C"), ("BFFFD6A7","08"), ("BFFFD6A6","04"), ("BFFFD6A5","84"), ("BFFFD6A4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804849C")]
   [("ESP","BFFFD6A8"), ("EBP","BFFFD6C8"), ("BFFFD6AF","00"), ("BFFFD6AE","00"), ("BFFFD6AD","00"), ("BFFFD6AC","01"), ("BFFFD6AB","BF"), ("BFFFD6AA","FF"), ("BFFFD6A9","D7"), ("BFFFD6A8","6C"), ("BFFFD6A7","08"), ("BFFFD6A6","04"), ("BFFFD6A5","84"), ("BFFFD6A4","9D"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","804849D")];

(* RET *)
val _ = x86_test "C3"
   [("ESP","BFFFF0A4"), ("EBP","BFFFF0C8"), ("BFFFF0AF","00"), ("BFFFF0AE","00"), ("BFFFF0AD","00"), ("BFFFF0AC","01"), ("BFFFF0AB","BF"), ("BFFFF0AA","FF"), ("BFFFF0A9","F1"), ("BFFFF0A8","6C"), ("BFFFF0A7","08"), ("BFFFF0A6","04"), ("BFFFF0A5","84"), ("BFFFF0A4","9D"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849C")]
   [("ESP","BFFFF0A8"), ("EBP","BFFFF0C8"), ("BFFFF0AF","00"), ("BFFFF0AE","00"), ("BFFFF0AD","00"), ("BFFFF0AC","01"), ("BFFFF0AB","BF"), ("BFFFF0AA","FF"), ("BFFFF0A9","F1"), ("BFFFF0A8","6C"), ("BFFFF0A7","08"), ("BFFFF0A6","04"), ("BFFFF0A5","84"), ("BFFFF0A4","9D"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","804849D")];