GENERIC IMPLEMENTATION MODULE Buf;
PROCEDURE Mark(x : CHAR);
BEGIN END Mark;
END Buf.