with Pck; use Pck;

procedure Foo is
   B : Base := Base'First;
begin
   Do_Nothing (B'Address);
end Foo;