• compile time hooking (no dynamic goto targets)

That kind of makes them useless for writing parsers, which was one of
the justifications of them.

Hmmm you're right. I forgot that in C when doing parsers it's
commonplace to map the label addresses to some lookup indexes and then
jump to the address with goto. Although it's also quite common to do
parsers without dynamic jumping, but yeah that's a dandy handy feature
:) At this point I'd like to retract my agreement with static goto
targets. Now I wonder if it is possible to have the compiler recognize a
static jump from a dynamic jump and do the hooking accordingly to
maximize efficiency in the static case?

Implementation Two covered all the points listed including staic hooking.
The dynamic hooks could still be done, but it'd take some reworking. I
kinda done with it for now though, there have been too many karmicly strong
negative votes for me to believe it's going anywhere near acceptance. The
patch will stay where it is if anyone wants it as is though.

-Sara