let
cil_field_offset f = fst (cil_field_info f)