void inc( ^int a; ) 
	begin
		a^++;
	end
int i;
printf( "Checking var parameters\n" );
for i = 0; i < 10; inc( &i ) do
	printf( "%d\n", i );
end
