<> <> <> <> DIRECTORY PrincOps USING [PsbIndex]; ProcessBackdoor: CEDAR DEFINITIONS = BEGIN ParentChildCallback: TYPE = PROC [parentPsb, childPsb: PrincOps.PsbIndex]; SingleCallback: TYPE = PROC [Psb: PrincOps.PsbIndex]; RegisterEventProcs: PROC [ forkProc: ParentChildCallback, joinProc: ParentChildCallback, endProc: SingleCallback, detachProc: SingleCallback ] RETURNS [ oldForkProc: ParentChildCallback, oldJoinProc: ParentChildCallback, oldEndProc: SingleCallback, oldDetachProc: SingleCallback ]; <> CountFreeProcesses: PROC RETURNS [freeProcesses: CARDINAL]; END.