pub const PHP_STREAM_UNCHANGED: u32 = 0;