tag	line	file	source code
fake_volatile	511	kernel/exit.c	fake_volatile:
fake_volatile	545	kernel/exit.c	goto fake_volatile;