https://cetozuqofilywofi.nightcapcabaret.com/program-verification-using-ada-book-33360qa.php