{gcc.anod: e46b89654430ccd7ccd47840e5b53951f4c244cf, gnat: 314512}
