Constant PHP_STREAM_SYNC_SUPPORTED 

pub const PHP_STREAM_SYNC_SUPPORTED: u32 = 0;