%Automatically generated during setup by gnatattr.exe
% contains gnat's implementation defined attributes
% call with gnatattr > mika_symbolic__gnat_attributes.pl
mika_symbolic__gnat_attributes('address_size', 32).
mika_symbolic__gnat_attributes('maximum_alignment', 4).