`case ST_NOT_STARTED:` could also just fall-through.