# speed_popl10_nstd_single
# C4B:    |[0,n]| ticks
# ecoimp:

def startNstdSingle():
  var x, n, break

  x = 0

  while x < n:
    tick 1 # necessary??
    x = x + 1
    break = 0
    while x < n and break = 0:
      nondet:
        break = 1
      else:
        x = x + 1
        tick 1