let bits_not  _ = F.e_app1 "int_not"