<> <> <> <> <> <> <> <> ArpaTCPImpl: CONFIGURATION IMPORTS Arpa, ArpaExtras, ArpaIP, Basics, BasicTime, Convert, ConvertExtras, IO, List, PrincOpsUtils, Process, Rope EXPORTS ArpaTCP, ArpaTCPExtras, ArpaTCPLogging, ArpaTCPOps CONTROL ArpaTCPLoggingImpl, ArpaTCPStatesImpl, ArpaTCPReceivingImpl, ArpaTCPTransmitImpl, ArpaTCPMain, ArpaTCPOpsImpl = BEGIN ArpaTCPMain; ArpaTCPOpsImpl; ArpaTCPLoggingImpl; ArpaTCPStatesImpl; ArpaTCPReceivingImpl; ArpaTCPTransmitImpl; END.