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