Constant PHP_STREAM_FREE_RSRC_DTOR 

pub const PHP_STREAM_FREE_RSRC_DTOR: u32 = 8;