INTERFACE InfoModule; IMPORT Module; VAR M: Module.T; PROCEDURE Initialize (); PROCEDURE Reset (); END InfoModule.