gnatmake -c a.adb
