hax_engine_names::hax::machine_int

Function not

Source 
fn not()