Constant WS_READ_OPTIONAL_POINTER 

pub const WS_READ_OPTIONAL_POINTER: WS_READ_OPTION;