Constant PHP_STREAM_OPTION_READ_TIMEOUT 

pub const PHP_STREAM_OPTION_READ_TIMEOUT: u32 = 4;