FINISH_SENT
fState = FINISH_SENT;
return fState == ESTABLISHED || fState == FINISH_SENT
case FINISH_SENT:
if (fState == ESTABLISHED || fState == FINISH_SENT
case FINISH_SENT:
case FINISH_SENT:
case FINISH_SENT:
|| state == FINISH_SENT || state == CLOSING;
case FINISH_SENT: