Ada programming: Difference between revisions