# speed_popl10_sqntl_single
# C4B:    |[0,n]| ticks
# ecoimp: 2·[n | n ≥ 0]

def startSqntlSingle():
  var x, n, break

  x = 0
  break = 0

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

  while x < n:
    tick 1
    x = x + 1