let tarray_elt fmt te =
match object_of te with
| C_int i -> pp_int fmt i
| C_float f -> pp_float fmt f
| C_comp c -> Format.pp_print_string fmt c.cname
| C_array _ -> Wp_parameters.fatal "incomplete array-dimension"
| C_pointer _ -> Wp_parameters.fatal "pointer array constraint"