pub const DEBUG_ENGOPT_PREFER_TRACE_FILES: u32 = 8388608u32;