GENERIC IMPLEMENTATION MODULE Wrap;
PROCEDURE Hi() : INTEGER;
BEGIN RETURN HIGH(W) END Hi;
END Wrap.