gnatmake -q a
