pub const TOP_LEVEL_ARRAY_STRIDE: u32 = 0x930D;