tag	line	file	source code
winner	501	fs/buffer.c	unsigned int best_time, winner;
winner	590	fs/buffer.c	winner = best_time = UINT_MAX;
winner	595	fs/buffer.c	winner = i;
winner	600	fs/buffer.c	if(winner != UINT_MAX) {
winner	601	fs/buffer.c	i = winner;