let
mk_rmult =
"mult_int"