pub const PHP_STREAM_PREFER_STDIO: u32 = 1;