demo for my talk on recursion, tail recursion and erlang @Fuconf