Adainit should contain the elaboration code for library units. Adafinal should contain the finalization code. These subprograms should have no effect the second and subsequent time they are called. 40 Automatic elaboration of preelaborated packages should be provided when pragma Export is supported. Pragma Convention need not be supported for scalar types.
Import specifies the conventions for accessing external entities.
It is possible that the actual entity is written in assembly language, but reflects the conventions of a particular language. Such a pragma applies to all of the denoted entities. An interfacing pragma might result in an effect that violates Ada semantics.