theorem
  InsCode goto(i1,R) = 6;
