rem: if (global_processor_deleted == false) { global_processor_deleted = true; if (global_pointer_to_ecaprocessor != 0) { global_pointer_to_ecaprocessor->~ECA_PROCESSOR(); global_pointer_to_ecaprocessor = 0;
add: if (global_engine_deleted == false) { global_engine_deleted = true; if (global_pointer_to_ecaengine != 0) { global_pointer_to_ecaengine->~ECA_ENGINE(); global_pointer_to_ecaengine = 0;
context: void clean_exit(int n) {//    cerr << "Clean exit..." << endl;  ecadebug->flush();  if (global_control_deleted == false) {    global_control_deleted = true;    if (global_pointer_to_ecacontrol != 0) {      global_pointer_to_ecacontrol->~ECA_CONTROL();      global_pointer_to_ecacontrol = 0;    }  }  if (global_processor_deleted == false) {    global_processor_deleted = true;    if (global_pointer_to_ecaprocessor != 0) {      global_pointer_to_ecaprocessor->~ECA_PROCESSOR();      global_pointer_to_ecaprocessor = 0;    }  }  if (global_session_deleted == false) {    global_session_deleted = true;    if (global_pointer_to_ecasession != 0) {      global_pointer_to_ecasession->~ECA_SESSION();      global_pointer_to_ecasession = 0;    }  }  exit(n);}