[overboard2]

Or you could add some more sections to object files. Just make clang and/or gcc export function signatures, structs, enums, and typedefs

[actionfromafar]

I wonder if one of the existing interpreted languages (python/javascript/ruby/whatever) could maintain a patch for llmv/gcc which did exactly that and in the process make the most incredible seamless integration ever between itself and C (and also C++ now with its ABI stabilizing!)