No trecho de programa abaixo, escrito em Object Pascal, os parâmetros do procedimento P são passados por valor.

...

var a, b:integer;

procedure P(x, y: integer);

begin

x := 2 * x;

a := x + y;

x := a - 1;

end;

begin

a := 2;

b := 3;

P(b,a);

writeln(a);

end.

O valor de a impresso na última linha do programa é igual a