And in the "upstream" source that Charles downloaded, the problem also happens with gnatmake integer_indexed_io-debug.ads -- Ludovic Brenta.