I'm fine with using proxies if that happens to be optimized. But I'm sad seeing FIXME, XXX, etc. in various places that people don't take the time to implement, and they work around them.
This week-end, I at last managed to get rid of the horrible rmh kludge in glibc that hurt us several times, and was there only because nobody took the time to implement gnumach's 10-line-longish 0650a4ee30e34ba039940032fdff3719c1b4b000. Here, possibly proxies can indeed work properly. But please do look at what Joan's situation is to make sure it does. Samuel
