TraceChar
TraceChar(old_char), _traceattr(old_attr), old_pair));
TraceChar(new_char), _traceattr(new_attr), new_pair));