taglinefilesource code
BADNESS578fs/buffer.cif (BADNESS(bh)) continue;
BADNESS610fs/buffer.cif (BADNESS(bh)) panic("Buffer in candidate list with BADNESS != 0\n");
BADNESS649fs/buffer.cif (BADNESS(bh)) continue;