aliased and parameters

["REH" <spamjunk@stny.rr.com>]

Is there a way to indicate to the compiler that a parameter should be
aliased?  Our software has a client/server library build on sockets.
This library has API that take parameters of a particular type (i.e.,
defined headers) and call socket API internally to send/receive the
data.  For example:

procedure Receive(Hdr : out Header_Type) is
begin
...
recv(socket, Hdr'Address, header_size);
...
end;

The problem is that some Ada95 compiler are so aggressive with
optimization that they may not "see" then Hdr is changed by recv.  At
the very less the compiler complains (rightfully so) that Hdr is alised
but not marked as such.  But how do enforce that if I cannot define the
parameter as aliased?  Should I use an access type instead and convert
it to System.Address, or is there a cleaner way?

Thanks,
REH