pub const PHP_STREAM_SYNC_SUPPORTED: u32 = 0;