path: root/research/experiments/045-proof-compiler/units/append.aup

state t = 0
input go = message { n: u32 }
on go {
  let xs: list of number
  for i in 0 .. go.n { xs.append(i) }
  t = xs.count
}