Constant PHP_STREAM_LOCK_SUPPORTED 

pub const PHP_STREAM_LOCK_SUPPORTED: u32 = 1;