How to pass access parameters to/from C safely/portably?

[Rod Chapman <rod@praxis-cs.co.uk>]

I wonder if anyone out there could advise me on a point of
portability and style with respect to passing
access parameters from C to Ada.

I need to call Ada subprograms from C, passing C pointers which
denote "in" or "out" parameter for Ada.

Assuming I want C to pass Ada a pointer-to-int...is it
better to do:

   procedure XXX ( Ptr : access Interfaces.C.Int );
   pragma Export(C, XXX);

or

   type Ptr_To_Int is access Interfaces.C.Int;

   procedure XXX ( Ptr : in Ptr_To_Int );
   pragma Export(C, XXX);

I read in Barnes' "Programming in Ada 95" that "In order for this check
to be
possible all access parameters carry with them an indication of the
accessibility
of the actual parameter"...this seems to imply that the first option
above
shouldn't work, since C obviously has no idea of how to pass
accessibility
information...is that right?

Oddly, (using ObjectAda 7.1.1), we seem to have made the first scheme
work, but this might be purely luck!

Thanks in advance,
 Rod Chapman
 Praxis Critical Systems
 rod@praxis-cs.co.uk