had_double_tape_mark 1889 src/simh/sim_tape.c uint32 had_double_tape_mark = 0; had_double_tape_mark 1949 src/simh/sim_tape.c had_double_tape_mark = objc; had_double_tape_mark 1967 src/simh/sim_tape.c (!had_double_tape_mark)) || //-V686 had_double_tape_mark 1968 src/simh/sim_tape.c (!had_double_tape_mark) || had_double_tape_mark 1991 src/simh/sim_tape.c objc = had_double_tape_mark;