pub const DEBUG_DATA_PagingLevels: u32 = 100080u32;