function main() { | |
var v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12, v13, v14, | |
v15, v16, v17, v18, v19, v20, v21, v22, v23, v24, v25, v26, v27, v28, | |
v29, v30, v31, v32, v33, v34, v35, v36, v37, v38, v39, v40, v41, v42, | |
v43, v44, v45, v46, v47; | |
var v48 = 0, v49 = 0; | |
if (true) { | |
var v50 = v48 - 1; | |
var v51 = v49 + 1; | |
return v51; | |
} | |
} | |
assertEq(main(), 1); |