Constant WS_CODE_BACKEND_INVALID_SEQ 

pub const WS_CODE_BACKEND_INVALID_SEQ: u16 = 4007;