svoid hardKillStefansOS() {
  hardKillProgram(#1016005, level := 9);
  hardKillProgram(#1016478, level := 9);
  hardKillProgram(#1024932, level := 9);
}