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