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"