tag	line	file	source code
fake_volatile	510	kernel/exit.c	fake_volatile:
fake_volatile	543	kernel/exit.c	goto fake_volatile;