proc @variables () (i8$ %out) {
%entry:
	%0 = var i8
	store i8 %0 42
	%1 = load i8 %0
	store i8 %0 9001
	%2 = load i8 %0
	drv %out %1 1ns
	drv %out %2 2ns
	halt
}