Constant PHP_STREAM_FLAG_WAS_WRITTEN 

pub const PHP_STREAM_FLAG_WAS_WRITTEN: u32 = 2147483648;