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