let type_char_array s = 
  make_c_type(Tarray(type_char, Some (big_int_of_int s)))