DEFINITION MODULE ProcArgs ;

FROM SYSTEM IMPORT ADDRESS ;
EXPORT QUALIFIED ProcessArgs,
                 InitArgs, SetArgs, CollectArgs, KillArgs ;

TYPE
   ProcessArgs ;

PROCEDURE InitArgs () : ProcessArgs ;
PROCEDURE SetArgs (p: ProcessArgs; a: ADDRESS) : ADDRESS ;
PROCEDURE CollectArgs (p: ProcessArgs) : ADDRESS ;
PROCEDURE KillArgs (p: ProcessArgs) : ProcessArgs ;

END ProcArgs.