<> <> <> <> <> <> STPPackage: CONFIGURATION IMPORTS BasicTime, Convert, IO, PupName, PupStream, RefText, Rope EXPORTS ALL = { STPImpl; }.