sig
  val traverse : 'a -> 'b -> (Obj.t -> 'b -> 'b) -> int * 'b
  val words : 'a -> int
  val bytes : 'a -> int
  val kbytes : 'a -> int
end