let
ne_int_bool =
"neq_int_bool"