let
bits_not _ =
D
.e_app1
"int_not"