Constant PHP_STREAM_FREE_PERSISTENT 

pub const PHP_STREAM_FREE_PERSISTENT: u32 = 16;