Constant ALLOCATE_NON_SHARED_COLLECTION 

pub const ALLOCATE_NON_SHARED_COLLECTION: u64 = 0x5ca681f025a80e44 /* 6_676_166_366_047_243_844u64 */;