On Oct 23, Havard.Eidnes@runit.sintef.no wrote > Hope someone can tell me where to debug this further (Manuel > Bouyer, are you there? This sounds like "your ball"... ;-) I'm there ! Starting a remote debug session in private mail ... -- Manuel Bouyer, LIP6, Universite Paris VI. Manuel.Bouyer@lip6.fr --