> I have the profiling stuff ready to go, but it isn't clear to me just what I > should #include in the C file. Excellent. Put the code in src/runtime/ and #include "my-lib.h", which contains a lot of your stuff. Let me know how it compiles there.