had_double_tape_mark 1893 src/simh/sim_tape.c uint32 had_double_tape_mark = 0;
had_double_tape_mark 1953 src/simh/sim_tape.c         had_double_tape_mark = objc;
had_double_tape_mark 1971 src/simh/sim_tape.c      (!had_double_tape_mark)) || //-V686
had_double_tape_mark 1972 src/simh/sim_tape.c     (!had_double_tape_mark) ||
had_double_tape_mark 1995 src/simh/sim_tape.c     objc = had_double_tape_mark;