rem: if (global_pointer_to_ecaparams != 0) { delete global_pointer_to_ecaparams; global_pointer_to_ecaparams = 0;
add: if (global_pointer_to_ecasession != 0) { global_pointer_to_ecasession->~ECA_SESSION(); global_pointer_to_ecasession = 0;
context: void clean_exit(int n) {  if (global_session_deleted == false) {    global_session_deleted = true;    if (global_pointer_to_ecaparams != 0) {      delete global_pointer_to_ecaparams;      global_pointer_to_ecaparams = 0;    }        }  exit(n);}