New post: tail-call optimization.