PROC [file: Rope.
CARD.
PutArgs:
PROC [ub: Basics.UnsafeBlock] ~
TRUSTED {
t: REF TEXT ← NEW[TEXT[argsByteSize]];
s: IO.STREAM ← IO.TOS[text: t];
IO.PutFWord[s, Basics.FFromCard32[copies]];
IO.PutFWord[s, Basics.FFromCard32[first]];
IO.PutFWord[s, Basics.FFromCard32[last]];
IO.PutRope[s, file];
IO.Close[s];
IF t.length#argsByteSize THEN ERROR;
s ← IO.TIS[t];
[] ← IO.UnsafeGetBlock[s, ub];
};