This is where I'm not 100% sure I'm not breaking some plumbing.
I think this change is safe [...]
Or did you have something a lot more subtle in mind?
Not at all. But since I found the place to add my code more or less
randomly with gdb, I feel safer with your comment ;-).
Thanks,
--
Matthieu Moy
http://www-verimag.imag.fr/~moy/