tag	line	file	source code
winner	502	fs/buffer.c	unsigned int best_time, winner;
winner	591	fs/buffer.c	winner = best_time = UINT_MAX;
winner	596	fs/buffer.c	winner = i;
winner	601	fs/buffer.c	if(winner != UINT_MAX) {
winner	602	fs/buffer.c	i = winner;