Constant WS_RECEIVE_REQUIRED_MESSAGE 

pub const WS_RECEIVE_REQUIRED_MESSAGE: WS_RECEIVE_OPTION;