taglinefilesource code
end_of_tape282drivers/char/ftape/ftape-read.crunner_status = end_of_tape;
end_of_tape287drivers/char/ftape/ftape-read.crunner_status == end_of_tape) {
end_of_tape288drivers/char/ftape/ftape-read.cif (runner_status != end_of_tape &&
end_of_tape242drivers/char/ftape/ftape-write.crunner_status = end_of_tape;
end_of_tape249drivers/char/ftape/ftape-write.crunner_status == end_of_tape)) {
end_of_tape250drivers/char/ftape/ftape-write.cif (runner_status != end_of_tape) {