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