pub const IS_OBJ_DESTRUCTOR_CALLED: u32 = 256;