local X Z A B P in
    proc {P X Y}
        Y = X + Z
    end
    Z = 10
    local Z in
        Z = 2
        X = 4
        {P X A}
        {P A B}
    end
end