access types and head pains

["chris.danx" <chris.danx@ntlworld.com>]

hi,
    I have the following situation.  I'm writing a driver that can be run on my
system.  I want to test it by writing virtually to a file.


The problem is i had the following code


package X is

    type A is private
    type A_ac is access all A;
...

    procedure Do_S (av : in out A_ac; v : any_type );

    --  with body
    --    is begin
    --        av.v := v; etc

end X;

procedure test is
    at : aliased A;
begin
    Do_S (at'unchecked_access, 2);
end test;

i got an error that said "at actual must be a variable".  What's wrong?

The idea is that the driver will work with two different kinda things in the
same procedure.  "at" can be declared in program or be a chunk of memory of the
same size. Any hints?


Thanks,
Chris