Interfacing to C and types visible to Ada

not have any dedicated domain. In other words, it is not "number of
apples", not "height in meters", not "hotel room number", etc., it is
just plain "integer", which meaning can depend on how the given
So the only known fact about these entities is that they are
the same size as Interfaces.C.Int? What operations are legitimate?
Clearly not arithmetic (adding hotel room numbers?). Does ">" always make
sense? Are they black box bit patterns (eg window handles)? Should
your wrapper say "type Whatever is [limited] private;" and then
"for Whatever'size use Interfaces.C.Int'size;" How would you specify
one of these as an Ada generic parameter?