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