REDO: time I1
      print I1
      print "\n"
SPIN: time I1
      ne I1, I2, REDO
      branch SPIN