in cpp/DFAchecks.cpp [284:293]
static void Consume(State state) {
switch (state) {
case Processing: log_msg("Processing");
break;
case Idle: log_msg("Idle");
break;
case Stop: log_msg("Stop!");
break;
}
}