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