Lots of options are possible when the C compiler and linker model aren't being used... Paulo
I don't see how symbol table information and relocation meta data is sufficient to produce the correct object code if the template parameters are unknown.
// library void foo(T, U)(T t, U u) { t.tee(); u.uuuh(); } // my code foo!(ArcaneType1, DubiousType2)(a, d);