Ada routines for byte-swapping integers