let
ne_int =
"neq"