functor (S : sig val default_seed : Quickcheck_intf.seed end->
  sig
    val int_middle_bits : int
    module JC : Quickcheck_intf.Quickcheck
    module G = JC.Generator
    module O = JC.Observer
  end