Constant PHP_STREAM_PREFER_STDIO 

pub const PHP_STREAM_PREFER_STDIO: u32 = 1;