tag	line	file	source code
RANDOM_INT	92	fs/ext2/truncate.c	RANDOM_INT);
RANDOM_INT	168	fs/ext2/truncate.c	RANDOM_INT);