michael@0: // Binary: cache/js-dbg-64-10894668e37f-linux
michael@0: // Flags:
michael@0: //
michael@0: ({set"0"(l){}})