The default file naming rule in GNAT is that the file name must be derived from the unit name. The exact default rule is as follows:
i, then replace the dot by the character
~(tilde) instead of a minus.
The reason for this exception is to avoid clashes
with the standard names for children of System, Ada, Interfaces,
and GNAT, which use the prefixes
switch of the compiler activates a 'krunching'
circuit that limits file names to nn characters (where nn is a decimal
The gnatkr utility can be used to determine the krunched name for a given file, when krunched to a specified maximum length.