GENERIC INTERFACE Module (); IMPORT Module; VAR M: Module.T; PROCEDURE Initialize (name: TEXT); END Module.