reassign 582452 gnat-4.4 thanks I will not fix this bug in gnat-4.3, only in gnat-4.4. -- Ludovic Brenta.