let bits_xor  _ = D.e_app2 "int_xor"