void increment( ^int dest; int change; )
	begin
		dest^ = dest^ + change;
	end

int result = 4;
increment( &result, 3 );
printf( "%d\n", result );
