[suppress_function]
  symbol_name_regexp = _Z3.*
  change_kind = deleted-function