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