real multiply(real a, real b)
        = a * b;