pragma No_Inline (NAME {, NAME});
This pragma suppresses inlining for the callable entity or the instances of
the generic subprogram designated by NAME, including inlining that
results from the use of pragma Inline. This pragma is always active,
in particular it is not subject to the use of option -gnatn or
-gnatN. It is illegal to specify both pragma No_Inline and
pragma Inline_Always for the same NAME.