Did my reply get lost or something? It explained how you could write an interpreter with tail recursion even with all the implicit BLOCK statements.