fibo(n)=
  ? n<2, <= n
  f2 = 0
  f1 = 1
  > i, 2..n
    f = f1+f2
    f2 = f1
    f1 = f
  <
  <= f
.