let pp_title fmt arr = 
         Format.fprintf fmt "Format for array %a" 
           Ctypes.pretty (C_array arr)