svoid preCleanUp(O c) {
  callOpt(c, 'licensed_off);
  setOpt(c, ping_anyActions := true); // so ping notices
  setOpt(c, cleaningUp_flag := true);
}