<> <> STDebug: CONFIGURATION IMPORTS BasicTime, IO, RESOut, STDebugDefs EXPORTS STDebugDefs = BEGIN DebugTab; STDebugMisc; STDebugSymbols; STDebugTrees; END.