Hacker News Reader

What does it have to do with static typing? Function pointers are perfectly valid types. Also, can't you just use a debugger?

Not really in a custom ASIC in an embedded environment.

then your problem isn't C callbacks, it's that your debugging tools are inadequate.