<> <> <> <> <> <> DIRECTORY ArpaIP USING [RecvProc]; ArpaTCPReceiving: CEDAR DEFINITIONS ~ BEGIN ProcessRcvdSegment: ArpaIP.RecvProc; <> <> <> <> <> <> <> <> <> <> <> <> <> END.