I like Andres' proposal. It puts some burden on the compiler writers (but this work has to be invested only once) and considerably simplifies things for the library writers. Cheers, Ralf