X86 ambig3 { A=0; B=0; 0:EBX=1; } P0 | P1 ; MOV EAX,[B] | MOV EAX,[A] ; XCHG [A],EBX | MOV [B],$1 ; exists (0:EAX = 1 /\ 1:EAX = 1)