structure Endian =
   struct
      type shift = int * int * word -> word
   end