using a variant of something we developed and then re-developed for Inferno, you can dynamically load C modules at run time, and unusually, with type checking, with support in the compilers and loaders.
well, i say "modules", but of course the language pre-dates them. people pretend. it uses import/export tables with type signatures. those are stashed in the a.out (viz. DYN_MAGIC in a.out.h) so they stay together.