let
bin_op a o b =
Int_bin_op
(a, o, b)