Shriram Krishnamurthi, highlighting what makes Scheme macros efficient in Automata via Macros:

What is the goto-like construct that corresponds to a dereference in a data structure? The answer was given by Guy Steele (Steele, 1977): the tail call.