Comment by lsp_trw

You can get away with having a single global state variable so long as it's an association table and you keep track of what variables you've introduced. I believe that the reason why people thought it would be slow then was that no one had used a data structure that could store multiple results for the same value.