Constant WS_READ_REQUIRED_POINTER 

pub const WS_READ_REQUIRED_POINTER: WS_READ_OPTION;