let
mul_int =
"mul_int"