let
cil_field_size f = snd (cil_field_info f)