let rec darray_of_arrayinfo info n =
  let te = info.arr_element in
  match object_of te with
    | C_int _ | C_float _ | C_pointer _ | C_comp _ -> te , n
    | C_array arr -> darray_of_arrayinfo arr (succ n)