local X Y Z P Q in
    X=6
    Y=4
    proc {P A B}
        proc {B U V}
            local F in
                F=A+1
                V=U+F
            end
        end
    end
    {P X Q}
    {Q Y Z}
end