let ne_int_bool = "neq_int_bool"