pub const PHP_STREAM_BUFFER_NONE: u32 = 0;