[shawn_w]

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