pub const TOP_LEVEL_ARRAY_STRIDE: u32 = 0x930D; // 37_645u32