Tail-call optimization via trampolines. Supports self-recursive, mutually-recursive and even optimizing across compilation boundaries - View it on GitHub