let
fol_ctype_sizeof ty =
Fol
.
Tconst
(
Fol
.
ConstInt
(string_of_int (
Cil
.bitsSizeOf ty / 8)))