int %main() {
	br label %Loop
Loop:
	%X = phi int [0, %0], [1, %Loop]
	br bool true, label %Out, label %Loop
Out:
	ret int %X
}