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