pub const PHP_STREAM_FLAG_DETECT_EOL: u32 = 4;