let object_of_pointed = function
C_int _ | C_float _ | C_comp _ as o ->
Wp_parameters.fatal
"object_of_pointed called on non-pointer %a@." pp_object o
| C_array info -> object_of info.arr_element
| C_pointer typ -> object_of typ