proc/multiply(a, b) return a * b