sig
  val default_offsetmap :
    Base.t -> [ `Bottom | `Map of Cvalue.V_Offsetmap.t ]
end