[suppress_function] symbol_name = _Z3barv change_kind = all