trunk/gps/gnatlib:172522
