Constant IS_OBJ_DESTRUCTOR_CALLED 

pub const IS_OBJ_DESTRUCTOR_CALLED: u32 = 8;