michael@0: // Binary: cache/js-dbg-32-c340841f0465-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: RegExp.__proto__