223a224,225
> bool init_state_set = false;
>
318a321,322
> init_state_set = true;
>
323a328,331
> if (!init_state_set)
> fatal("%s: initial state not specified (add 'INIT <id>' line "
> "to the config file)\n", name());
>