I like those ideas a lot. I hadn't thought about it in enough detail to come up with similar ones, but that's exactly what I was hoping for.

The problem, of course, is that it's hard to find a metric for "close enough" that works for every program. Perhaps it's easier if you're compiling from a high-level language than from C.