static void cleanKillProgram() {
  if (isMainProgram()) cleanKill();
  else cleanUp(this);
  // TODO: remove injection
}