Constant WS_RECEIVE_OPTIONAL_MESSAGE 

pub const WS_RECEIVE_OPTIONAL_MESSAGE: WS_RECEIVE_OPTION;