GENERIC DEFINITION MODULE Buf (size : CARDINAL); TYPE T = ARRAY [0..size] OF CHAR; PROCEDURE Mark(x : CHAR); END Buf.