Constant PHP_STREAM_OPTION_PIPE_BLOCKING 

pub const PHP_STREAM_OPTION_PIPE_BLOCKING: u32 = 13;