xchg eax, ebx — binit db

State #	`flag`			`rax`			`rbx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
700	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000000000FE`	Δ	`0x00000000000000FE`	`0x00000000FFFFFFFF`	Δ
701	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000000000FF`	Δ	`0x00000000000000FF`	`0x00000000FFFFFFFF`	Δ
702	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x000000000000FF00`	Δ	`0x000000000000FF00`	`0x00000000FFFFFFFF`	Δ
703	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x000000000000FF01`	Δ	`0x000000000000FF01`	`0x00000000FFFFFFFF`	Δ
704	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x000000000000FF02`	Δ	`0x000000000000FF02`	`0x00000000FFFFFFFF`	Δ
705	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x000000000000FF80`	Δ	`0x000000000000FF80`	`0x00000000FFFFFFFF`	Δ
706	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x000000000000FFFE`	Δ	`0x000000000000FFFE`	`0x00000000FFFFFFFF`	Δ
707	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x000000000000FFFF`	Δ	`0x000000000000FFFF`	`0x00000000FFFFFFFF`	Δ
708	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFF00`	Δ	`0x00000000FFFFFF00`	`0x00000000FFFFFFFF`	Δ
709	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFF01`	Δ	`0x00000000FFFFFF01`	`0x00000000FFFFFFFF`	Δ
710	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFF02`	Δ	`0x00000000FFFFFF02`	`0x00000000FFFFFFFF`	Δ
711	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFF80`	Δ	`0x00000000FFFFFF80`	`0x00000000FFFFFFFF`	Δ
712	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFFFE`	Δ	`0x00000000FFFFFFFE`	`0x00000000FFFFFFFF`	Δ
713	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFFFF`	=	`0x00000000FFFFFFFF`	`0x00000000FFFFFFFF`	=
714	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFF00`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFFFF`	Δ
715	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFF01`	Δ	`0xFFFFFFFFFFFFFF01`	`0x00000000FFFFFFFF`	Δ
716	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFF02`	Δ	`0xFFFFFFFFFFFFFF02`	`0x00000000FFFFFFFF`	Δ
717	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFF80`	Δ	`0xFFFFFFFFFFFFFF80`	`0x00000000FFFFFFFF`	Δ
718	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFFFE`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x00000000FFFFFFFF`	Δ
719	`—`	`0x0000000000010002`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFFFF`	=	`0xFFFFFFFFFFFFFFFF`	`0x00000000FFFFFFFF`	Δ
720	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x00000000FFFFFF00`	Δ
721	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000001`	Δ	`0x0000000000000001`	`0x00000000FFFFFF00`	Δ
722	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000002`	Δ	`0x0000000000000002`	`0x00000000FFFFFF00`	Δ
723	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000003`	Δ	`0x0000000000000003`	`0x00000000FFFFFF00`	Δ
724	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x000000000000007E`	Δ	`0x000000000000007E`	`0x00000000FFFFFF00`	Δ
725	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x000000000000007F`	Δ	`0x000000000000007F`	`0x00000000FFFFFF00`	Δ
726	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000080`	Δ	`0x0000000000000080`	`0x00000000FFFFFF00`	Δ
727	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000081`	Δ	`0x0000000000000081`	`0x00000000FFFFFF00`	Δ
728	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000082`	Δ	`0x0000000000000082`	`0x00000000FFFFFF00`	Δ
729	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000000000FD`	Δ	`0x00000000000000FD`	`0x00000000FFFFFF00`	Δ
730	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000000000FE`	Δ	`0x00000000000000FE`	`0x00000000FFFFFF00`	Δ
731	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000000000FF`	Δ	`0x00000000000000FF`	`0x00000000FFFFFF00`	Δ
732	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x000000000000FF00`	Δ	`0x000000000000FF00`	`0x00000000FFFFFF00`	Δ
733	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x000000000000FF01`	Δ	`0x000000000000FF01`	`0x00000000FFFFFF00`	Δ
734	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x000000000000FF02`	Δ	`0x000000000000FF02`	`0x00000000FFFFFF00`	Δ
735	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x000000000000FF80`	Δ	`0x000000000000FF80`	`0x00000000FFFFFF00`	Δ
736	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x000000000000FFFE`	Δ	`0x000000000000FFFE`	`0x00000000FFFFFF00`	Δ
737	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x000000000000FFFF`	Δ	`0x000000000000FFFF`	`0x00000000FFFFFF00`	Δ
738	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFF00`	Δ	`0x00000000FFFFFF00`	`0x00000000FFFFFF00`	=
739	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFF01`	Δ	`0x00000000FFFFFF01`	`0x00000000FFFFFF00`	Δ
740	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFF02`	Δ	`0x00000000FFFFFF02`	`0x00000000FFFFFF00`	Δ
741	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFF80`	Δ	`0x00000000FFFFFF80`	`0x00000000FFFFFF00`	Δ
742	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFFFE`	Δ	`0x00000000FFFFFFFE`	`0x00000000FFFFFF00`	Δ
743	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFFFF`	Δ	`0x00000000FFFFFFFF`	`0x00000000FFFFFF00`	Δ
744	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFF00`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFF00`	Δ
745	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFF01`	Δ	`0xFFFFFFFFFFFFFF01`	`0x00000000FFFFFF00`	Δ
746	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFF02`	Δ	`0xFFFFFFFFFFFFFF02`	`0x00000000FFFFFF00`	Δ
747	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFF80`	Δ	`0xFFFFFFFFFFFFFF80`	`0x00000000FFFFFF00`	Δ
748	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFFFE`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x00000000FFFFFF00`	Δ
749	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x00000000FFFFFFFF`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x00000000FFFFFF00`	Δ