[pwdisswordfish]

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

[zump]

Not really in a custom ASIC in an embedded environment.

[digler999]

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