multiply(a, b: INTEGER): INTEGER do Result := a*b end