<> <> <> <> <> DIRECTORY BufferDefs USING[ PupBuffer ]; RPCWatch: CEDAR DEFINITIONS = BEGIN SetSpyProc: PROC[p: PROC[BufferDefs.PupBuffer]]; <> END.