program TestProg {
	section module {
 
	}
	section data {
		int rax = 0
		string str_0 = "early exit"
		string str_1 = "should not get here"
		string fmt_str = "%s "
		string newline = "\n"
	}
	section code {
	start:
		call PROC_xval
		done
	function PROC_xval:
		print fmt_str, str_0
		print newline
		jmp PROC_END_xval
		print fmt_str, str_1
		print newline
	PROC_END_xval:
		ret
	}
}