entry := label
	i := const 5
	fact := const 1
loop := label
	brz exit i
	fact := mul fact i
	one := const 1
	i := sub i one
	jmp loop
exit := label
	ret fact