let
bits_xor _ =
D
.e_app2
"int_xor"