pub const PHP_STREAM_OPTION_SYNC_API: u32 = 14;