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