pub const PHP_STREAM_OPTION_LOCKING: u32 = 6;