Say you have a nested function system like this, with a few closures (JavaScript-like code, pseudocode, something NOT purely functional like Haskell or ML):