let pp_title fmt (te,n) = Format.fprintf fmt "Array %a" Ctypes.pp_object te ; for i = 1 to n do Format.fprintf fmt "[]" done