multiply = proc (a, b: int) returns (int) return(a * b) end multiply