proc multiply(a, b: Int): Int = a * b