Constant PHP_STREAM_FLAG_NO_RSCR_DTOR_CLOSE 

pub const PHP_STREAM_FLAG_NO_RSCR_DTOR_CLOSE: u32 = 512;