procedure P (x: C; y: D);
begin ... end;

...

var a: C;
    b: D;

begin
  P(a, b)
end