rem: batchmode_enabled_rep = batch_mode;
add: while(true) {
context: void ECA_ENGINE::exec(bool batch_mode){  // --  DBC_REQUIRE(csetup_repp != 0);  DBC_REQUIRE(csetup_repp->is_enabled() == true);  // --  csetup_repp->toggle_locked_state(true);  batchmode_enabled_rep = batch_mode;  ecadebug->control_flow("Engine init - Driver start");  driver_repp->exec(this, csetup_repp);  csetup_repp->toggle_locked_state(false);  signal_exit();  if (outputs_finished_rep > 0)     ecadebug->msg("(eca-engine) Warning! An output object has raised an error! Out of disk space, permission denied, etc?");  DBC_CHECK(status() == ECA_ENGINE::engine_status_stopped ||	    status() == ECA_ENGINE::engine_status_finished ||	    status() == ECA_ENGINE::engine_status_error);  cleanup();  ecadebug->msg(ECA_DEBUG::user_objects, 		"(eca-engine) Engine state when finishing: " + 		kvu_numtostr(static_cast<int>(status())));  // --  DBC_ENSURE(status() == ECA_ENGINE::engine_status_notready);  // --}