COMPST_DONE
return pkt ? COMPST_DONE : COMPST_EXIT;
return COMPST_DONE;
return COMPST_DONE;
return COMPST_DONE;
[COMPST_DONE] = "DONE",
return COMPST_DONE;
state = COMPST_DONE;
case COMPST_DONE: