1 2 3 4
package inline_scope_p is procedure Assert (Expr : Boolean; Str : String); pragma Inline (Assert); end;