taglinefilesource code
GET4416drivers/char/ftape/ftape-read.cif (GET4(address, 0) != 0xaa55aa55) {
GET4362drivers/char/ftape/ftape-write.cif (result >= 0 && GET4(buffer, 0) != 0xaa55aa55) {