150   }

   150   }

   151   return as_C_string(str, buf_len);

   151   return as_C_string(str, buf_len);

   152 }

   152 }

   153 

   153 

   154 void Symbol::print_symbol_on(outputStream* st) const {

   154 void Symbol::print_symbol_on(outputStream* st) const {

   155   st = st ? st : tty;

   156   st = st ? st : tty;

   156   st->print("%s", as_quoted_ascii());

   157   st->print("%s", as_quoted_ascii());

   157 }

   158 }

   158 

   159 

   159 char* Symbol::as_quoted_ascii() const {

   160 char* Symbol::as_quoted_ascii() const {