sig
  type t = Word_size.t = W32 | W64
  val num_bits : t -> int
  val word_size : t
  val ounit_tests : unit -> OUnit.test
end