<> <> <> <> STPPackage: CONFIGURATION IMPORTS BasicTime, Convert, IO, PupStream, Rope EXPORTS ALL = BEGIN STPsA; STPsB; STPsC; STPsD; END.