let rec get_last_field my_field my_offset =
match my_offset with
| Cil_types.NoOffset -> my_field
| Cil_types.Field(fieldinfo,the_offset) -> get_last_field fieldinfo the_offset
| _ -> Aorai_option.fatal "NOT YET IMPLEMENTED : struct with array access."