let fol_ltype_sizeof ty = match ty with
    | Ctype ty -> fol_ctype_sizeof ty
    | _ -> abort "sizeof logic type ?"