xor+subtractor+mutex