readFile(cardReader, inputFile); while (true) do exec(inputFile, outputFile); cobegin printFile(outputFile, printer); readFile(cardReader, inputFile); coend;
while (true) do
exec(inputFile, outputFile);
cobegin
printFile(outputFile, printer);
readFile(cardReader, inputFile);
coend;