Ada array vs C pointer (call by reference)

>Is there any implementation where Interfaces.C.int has different
>properties than Integer?
Yes. Janus Ada 95 Integer is 16 bits (for compatibility with older
programs) but Interfaces.C.Int is 32 bits. Another reason to always
define your own types (or at least subtypes, so you can change them).
It's amazing to me how many programmers make unwarranted assumptions.
In twenty years I suppose all young programmers will assume Integers
must "of course" be 64 bits.