Main:
PROC ~ {
nChars: CARDINAL ~ (Exec.commandLine.s.length - Exec.commandLine.i) + 1;
command: ExecOps.Command ← Heap.MakeNode[n~(nChars+1)/2];
PrintHerald: Feedback.CreateProc ~ {PutLine[herald]; (Exec.w).PutChar['\n]; RETURN [NIL]};
PrintItem: Feedback.BeginItemProc ~ {PutLine[item]};
PrintDot: Feedback.NoteProgressProc ~ {(Exec.w).PutChar['.]};
PrintSummary: Feedback.FinishItemProc ~ {PutLine[trailer]; (Exec.w).PutChar['\n]};
fProcs: Feedback.Procs ← [
create~PrintHerald, beginItem~PrintItem, noteProgress~PrintDot, finishItem~PrintSummary];
j: CARDINAL ← 0;
FOR i:
CARDINAL
IN [Exec.commandLine.i..Exec.commandLine.s.length)
DO
command[j] ← Exec.commandLine.s[i]; j ← j+1;
ENDLOOP;
command[j] ← '\n;
[] ← TemporarySpecialExecOps.BindUsingFeedback[command, @fProcs];
Heap.FreeNode[p~command]};
}.