let
eq_int =
"eq"