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