S_ADDBA_BADTOKEN
#define S_TX_BADSTATE AFTER(S_ADDBA_BADTOKEN)
case S_ADDBA_BADTOKEN: STAT(addba_badtoken);