Your point (3) Doesn't have to be backwards
compatible seems curious. How much work
is it to make something of this nature compatible
with 5.6, or 5.005? Would backward compatiblity
require more flexibility with (5), level of accuracy?
Does (2) mean that the tested subs have to be
lexically scoped, or that the pragma must be
lexically scoped?