通过按引用传递和按值传递结果进行跟踪时遇到问题

问：

我有以下程序：

begin
    integer i;

    procedure pass(x, y);
        integer x, y;
        begin
            x := x+1;
            y := x+1;
            x := y;
            i := i+ 1
        end

    i := 1;
    pass(i,i);
    print i
end

我可以处理按值传递的答案，但是按引用传递和按值传递结果跟踪会是什么样子？