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