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