let rec object_of_n_pointed n typ =
if n=0 then typ else
match typ with
| C_pointer typ -> object_of_n_pointed (pred n) (object_of typ)
| t -> WpLog.fatal
"[object_of_n_pointed] calls with mismatched arguments :%d and %a"
n pp_object t