let mul_int = "mul_int"