let
bits_and _ =
D
.e_app2
"int_and"