initcheck: using(common, terminalIO, rManager, check) definitions
    
    initcheckintf: callmessage (
        terminal: terminalIO!terminalFunctions,
        rm: rManager!rManager,
        check: checkFn,
        finish: signalPort      -- capability to shut down checker
      )
    constant (terminal, rm)
    exit {full};
    
    initcheckQ: inport of initcheckintf { full(terminal), full(rm) };
    initcheckFn: outport of initcheckQ;
    
    initcheckdefinitionsintf: callmessage (
        terminal: terminalIO!terminalFunctions,
        rm: rManager!rManager,
        checkdefinitions: checkdefinitionsFn,
        finish: signalPort      -- capability to shut down checker
      )
    constant (terminal, rm)
    exit {full};
    
    initcheckdefinitionsQ: inport of initcheckdefinitionsintf 
       { full(terminal), full(rm) };
    initcheckdefinitionsFn: outport of initcheckdefinitionsQ;
    
  
  end definitions
