idx("signedArith.l") + "literals2unsignedArith.x" + "compare2.x" | "signedArith2.x" + idx("logic.l") | "unsignedArith2lambda.x" + "logic2lambda.x" + "pairs2lambda.x" + "locals2lambda.x"