tag	line	file	source code
winner	525	fs/buffer.c	unsigned int best_time, winner;
winner	614	fs/buffer.c	winner = best_time = UINT_MAX;
winner	619	fs/buffer.c	winner = i;
winner	624	fs/buffer.c	if(winner != UINT_MAX) {
winner	625	fs/buffer.c	i = winner;