const DEBUG_PRINT: DebugTiming;