theorem
  a=0_goto loc is non halting by Lm10;
