with A, B; use A, B;
procedure Demo is
	p: A_T;
	q: B_T;
begin
	y(p); z(p);
	y(q); z(q);
end Demo;