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);