f()
{
	foo
	goto c
a:
	bar
	goto b
b:
	baz
c:
	qux
	goto a
}


f()
{
	__f__(){
		foo
		__f_c; return
		__f_a
	}
	__f_a(){
		bar
		__f_b; return
		__f_b
	}
	__f_b(){
		baz
		__f_c
	}
	__f_c(){
		qux
		__f_a; return
	}
	__f__
}