START_REQUESTED
if (outcome == START_REQUESTED) {
case START_REQUESTED:
assert(outcome != START_REQUESTED);
log_transition(inst, START_REQUESTED);