for x'address or variant

["kat-Zygfryd" <6667@wp.pl>]

I have a tiny problem, I want to have a structure:
type P is access X;
type X is record
    next: array(1..2) of P;
    left: P;
    right: P;
end record;
wherein the left component uses next(1)'address
and right component uses next(2)'address,
unfortunately "for x'address use" statements are
not allowed within record declarations, and
variant records don't allow me to access both
next and left/right exchangably. do you know a way
to work this out?

Zygfryd @gnat3.15