sig
  val is_bitfield : Cil_types.typ -> bool
  val cast_lval_if_bitfield :
    Cil_types.typ -> Int_Base.t -> Cvalue.V.t -> Cvalue.V.t
  val sizeof_lval_typ : Cil_types.typ -> Int_Base.t
  val offsetmap_matches_type : Cil_types.typ -> Cvalue.V_Offsetmap.t -> bool
  val need_cast : Cil_types.typ -> Cil_types.typ -> bool
end