static S symbolToStringFull(Symbol s) {
  ifdef SymbolAsString
  ret s;
  endifdef
  ifndef SymbolAsString
  ret toStringWithIHC(s);
  endifndef
}