retitle 299033 gnat: Gigi abort, code=999 thanks Is the bug still present in gnat 4.1, which is now in testing? -- Ludovic Brenta.