SELECT tag2
FROM
printObjectSize => printOptions.body[i0] ← [printObjectSize[ CrRPC.GetCARD[h]]];
recipientName => printOptions.body[i0] ← [recipientName[ CrRPC.GetROPE[h]]];
message => printOptions.body[i0] ← [message[ CrRPC.GetROPE[h]]];
copyCount => printOptions.body[i0] ← [copyCount[ CrRPC.GetCARDINAL[h]]];
pagesToPrint => {
x3: PrintingP4V3.DocumentSubrange;
x3.beginningPageNumber ← CrRPC.GetCARDINAL[h];
x3.endingPageNumber ← CrRPC.GetCARDINAL[h];
printOptions.body[i0] ← [pagesToPrint[x3]];
};
mediumHint => {
x4: PrintingP4V3.Medium;
TRUSTED {
tag5: PrintingP4V3.MediumKind ~ VAL[CrRPC.GetCARDINAL[h]];
SELECT tag5
FROM
paper => {
x6: PrintingP4V3.Paper;
TRUSTED {
tag7: PrintingP4V3.PaperKind ~ VAL[CrRPC.GetCARDINAL[h]];
SELECT tag7
FROM
unknown => x6 ← [unknown[unknown~]]; -- RECORD []
knownSize => x6 ← [knownSize[ VAL[CrRPC.GetCARDINAL[h]]]];
otherSize => {
x8: PrintingP4V3.PaperDimensions;
x8.width ← CrRPC.GetCARDINAL[h];
x8.length ← CrRPC.GetCARDINAL[h];
x6 ← [otherSize[x8]];
};
ENDCASE;
};
x4 ← [paper[x6]];
};
ENDCASE;
};
printOptions.body[i0] ← [mediumHint[x4]];
};
priorityHint => printOptions.body[i0] ← [priorityHint[ VAL[CrRPC.GetCARDINAL[h]]]];
releaseKey => printOptions.body[i0] ← [releaseKey[ CrRPC.GetCARDINAL[h]]];
staple => printOptions.body[i0] ← [staple[ CrRPC.GetBOOL[h]]];
twoSided => printOptions.body[i0] ← [twoSided[ CrRPC.GetBOOL[h]]];
ENDCASE;