<> <> <> <> DIRECTORY AMEvents USING[ Event ], PrincOps USING[ FrameHandle, StateVector ]; AMEventsBackdoor: DEFINITIONS = BEGIN GuestProcsRec: TYPE = RECORD [ IsGuestProcess: PROC [] RETURNS [isGuest: BOOL], disableGuest: PROC [BOOL _ TRUE], guestLocalEvent: GuestLocalEventProc ]; GuestLocalEventProc: TYPE = PROC [ event: AMEvents.Event, f: PrincOps.FrameHandle, stack: POINTER TO PrincOps.StateVector, return: BOOL _ FALSE] RETURNS [debugLocally: BOOL _ FALSE]; RegisterGuestProcs: PROC [newProcs: REF GuestProcsRec]; END.