Commit test harness generated by GNATtest, plus one implemented unit test