Constant TOP_LEVEL_ARRAY_STRIDE 

pub const TOP_LEVEL_ARRAY_STRIDE: u32 = 0x930D;