<> <> <> <> <> DIRECTORY IPDefs USING [Datagram]; IPReassembly: CEDAR DEFINITIONS ~ BEGIN <> single, arrived, merged, finished, died, bad: INT; IsFragment: PROC [data: IPDefs.Datagram] RETURNS [BOOL]; <> Reassemble: PROC [data: IPDefs.Datagram] RETURNS [newData: IPDefs.Datagram]; <> AgeFragments: PROC [nSeconds: INT]; <> END.