A Collection of Ada Unchecked_Conversion Testing Programs

I occasionally write programs using instantiations of Ada's Unchecked_Conversion generic function to
one purpose or another.  I've taken pains to ensure that all such instantiations I use adhere to all
listed requirements in the Ada Reference Manual, and more recently have begun to specify the size of
the mentioned types, even when it shouldn't be needed.  I hate the current tyranny of the octet, and
work to ensure my programs can and will work under any Ada environment without system introspection.

Despite my work and observed success, I've been left with unease.  These testing programs will serve
to eliminate that feeling; while testing is ideally unnecessary, these programs transcend mere tests
and instead serve as exhaustive proofs that such instantiations work under a machine, for all cases.

Currently, I only need Unchecked_Conversion when dealing with octets, and so all test programs prove
conversions of arrays of Interfaces.Unsigned_8 to a larger Interfaces.Unsigned_N type and vice versa
work.  Exhaustively testing Interfaces.Unsigned_64 so is impractical, and requires another approach.
It's unlikely that suitable octet arrays would have identical representations to the other types and
not Interfaces.Unsigned_64, but such improbability is no guarantee, and is therefore of nil comfort.

These testing programs use Ada.Text_IO to print lines, which may fail, but such failure is unlikely.

The current testing programs test octets to hextets and octets to thirty-two bit words, and reverse.

I originally planned to publish these programs under a loose license but, since they directly use my
conversion code from other programs and libraries, I instead used exactly that same license thereof.
.