void append_and_print_cr(const char* format, ...) {

  {- -------------------------------------------
  (1) 
      ---------------------------------------- -}

        va_list ap;
        va_start(ap, format);
        vappend(format, ap);
        va_end(ap);
        gclog_or_tty->print_cr("%s", _buffer);
        _cur = _indent_level * INDENT_CHARS;
      }