Scheme's `do` is implemented using recursion. There's a sample macro for it in 7.3.