let ne_int = "neq"