michael@0: // Binary: cache/js-dbg-32-aa85b2f55960-linux
michael@0: // Flags:
michael@0: //
michael@0: var str = 'afoo$40bar'.substr(1);
michael@0: print(str.replace(str, str));