1 2 3 4 5 6 7 8 9 10 11 12 13 14
main :: () -> void { a :u64= 2; f(a); }; f :: (a: u64)->u64{ b :u64= 1; print_u64 b; if a == 0 b = 2; else f(a-1); print_u64 b; };