Rewriting locals to bindings, closures, and retain stack usage.
