(builtins.seq
  (builtins.def fib (builtins.lambda [n]
    (builtins.cond.match n
      (0 0)
      (1 1)
      (_ (builtins.math.add (this (builtins.math.sub n 1)) (this (builtins.math.sub n 2)))))))
  (builtins.trace (fib 12))
)