taglinefilesource code
UINT_MAX647fs/buffer.cwinner = best_time = UINT_MAX;  
UINT_MAX657fs/buffer.cif(winner != UINT_MAX) {
UINT_MAX1701fs/hpfs/hpfs_fs.cqbh->bh[0] = bh = breada(dev, secno, 512, 0, UINT_MAX);