Constant ARRAY_LENGTH_OFFSET 

pub const ARRAY_LENGTH_OFFSET: u32 = HEADER_SIZE; // 16u32

The offset of the length field in a VMCopyingArrayHeader.