sig   val default_offsetmap : Base.t -> Cvalue.V_Offsetmap.t Bottom.or_bottom end