System.out.println("To reset state machine, enter "
+ "\"reset\"");
} else if (event.equalsIgnoreCase("quit")) {
break;
} else if (event.equalsIgnoreCase("reset")) {
exec.reset();
} else if (event.indexOf('=') != -1) {
int marker = event.indexOf('=');
String name = event.substring(0, marker);
String value = event.substring(marker + 1);
rootCtx.setLocal(name, value);