The hidden danger in using tame is that it's possible to leak closures. For each function wrapped with TAME, the rewritter creates and allocates a function-specific closure, capturing all arguments passed to tamed function, and all values declared within VARS {…}. We would want these closures to be automagically deallocated when control leaves the tamed function for the last time. And it does so long as nothing else is refering to the closure.
See the paper version of tame for more information on this.