let mul_real = "mul_real"