PROCEDURE Multiply(a, b: INTEGER): INTEGER =
BEGIN
  RETURN a * b;
END Multiply;