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