svoid cleanKillInNewThread() {
  thread "Kill" { cleanKill(); }
}