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