Constant TOP_LEVEL_ARRAY_STRIDE 

pub const TOP_LEVEL_ARRAY_STRIDE: c_uint = 0x930D;