<> <> <> <> DIRECTORY BufferDefs USING[ PupBuffer ], PupTypes USING[ PupSocketID, rpcpSoc ]; RPCPrivate: DEFINITIONS = BEGIN rpcSocket: PupTypes.PupSocketID = PupTypes.rpcpSoc; GetRPCPackets: PROC[ PROC[BufferDefs.PupBuffer]RETURNS[BOOLEAN] ]; <> ReturnBuffer: PROC[BufferDefs.PupBuffer]; <> END.