program TestGlobalProc {
	section module {
 
	}
	section data {
		int rax = 0
		string str_0 = "before: counter="
		string str_1 = "after increment: counter="
		string fmt_int = "%lld "
		string fmt_str = "%s "
		string newline = "\n"
		int counter = 0
	}
	section code {
	start:
		mov counter, 0
		print fmt_str, str_0
		print fmt_int, counter
		print newline
		call PROC_increment
		print fmt_str, str_1
		print fmt_int, counter
		print newline
		call PROC_increment
		print fmt_str, str_1
		print fmt_int, counter
		print newline
		call PROC_increment
		print fmt_str, str_1
		print fmt_int, counter
		print newline
		done
	function PROC_increment:
		add counter, 1
	PROC_END_increment:
		ret
	}
}