[tptacek]

I think it's probably rarely the case that static analysis beats GC, and this "static beats dynamic" rule probably doesn't generalize as well as you think it does.