Constant PRIVATE_NAMESPACE_FLAG_DESTROY 

pub const PRIVATE_NAMESPACE_FLAG_DESTROY: u32 = 1;