function main() {
const v1 = [13.37,13.37];
function v2(v3,v4,v5,v6) {
}
function v7(v8,v9,v10,v11) {
    const v13 = [1337];
    const v14 = v13.shift();
    const v16 = new Int16Array();
    const v17 = v16.indexOf();
    v17.getOwnPropertySymbols = v14;
    let v19 = v7;
    const v20 = new Promise(v19);
}
const v21 = {preventExtension:v7,get:v2,deleteProperty:v7,has:v7,defineProperty:v7,getOwnPropertyDescriptor:v2,call:v2,set:v7,ownKeys:v7,setPrototypeOf:v2,construct:v7};
const v23 = new Proxy(v1,v21);
const v25 = {NaN:v7};
const v27 = Reflect.defineProperty(v23,1337,v25);
const v28 = v7();
}
%NeverOptimizeFunction(main);
main();
