theorem
  SCM-goto loc is non halting by Lm9;
