text: function main() {
  const v1 = [1337];
  // v1 = .object(ofGroup: Array, withProperties: ["constructor", "__proto__", "length"], withMethods: ["reduce", "map", "forEach", "find", "keys", "indexOf", "copyWithin", "flatMap", "join", "reverse", "reduceRight", "unshift", "entries", "slice", "pop", "filter", "some", "lastIndexOf", "fill", "toLocaleString", "concat", "every", "values", "flat", "findIndex", "shift", "push", "sort", "splice", "includes", "toString"])
  try {
      const v8 = [1337,1,1337,1337];
      // v8 = .object(ofGroup: Array, withProperties: ["constructor", "__proto__", "length"], withMethods: ["reduce", "map", "forEach", "find", "keys", "indexOf", "copyWithin", "flatMap", "join", "reverse", "reduceRight", "unshift", "entries", "slice", "pop", "filter", "some", "lastIndexOf", "fill", "toLocaleString", "concat", "every", "values", "flat", "findIndex", "shift", "push", "sort", "splice", "includes", "toString"])
      let v9 = v8;
      v8[3092925770] = 0;
      v9.__proto__ = v1;
      const v10 = v8.concat(v9);
      // v10 = .object(ofGroup: Array, withProperties: ["constructor", "__proto__", "length"], withMethods: ["reduce", "map", "forEach", "find", "keys", "indexOf", "copyWithin", "flatMap", "join", "reverse", "reduceRight", "unshift", "entries", "slice", "pop", "filter", "some", "lastIndexOf", "fill", "toLocaleString", "concat", "every", "values", "flat", "findIndex", "shift", "push", "sort", "splice", "includes", "toString"])
      const v11 = {get:100};
      // v11 = .object(ofGroup: Object, withProperties: ["get", "__proto__"])
      const v13 = Object.sqrt(split,0,v11);
      // v13 = .unknown
  } catch(v14) {
      function v16(v17,v18,...v19) {
      }
      const v20 = v16(-2987865916,v16,v16);
      // v20 = .unknown
      try {
          const v23 = {get:v20};
          // v23 = .object(ofGroup: Object, withProperties: ["get", "__proto__"])
          const v25 = Object.defineProperty(split,257,v23);
          // v25 = .undefined
      } catch(v26) {
          const v27 = 0;
          // v27 = .integer
          const v28 = 100;
          // v28 = .integer
          const v29 = 1;
          // v29 = .integer
      }
  }
  }
  main();
  
  