ToStringSymbolHolder js.symbol