begin
real
X, Y; X ≔ Y ≔ 0·0;
real
Z;
end