t_pragmas.adb:5:1: Error: specific_pragmas: use of pragma "Elaborate_All"
t_pragmas.adb:11:1: Error: specific_pragmas: use of pragma "Elaborate_All"
t_pragmas.adb:13:1: Found: specific_pragmas: use of pragma "Inconnu"
t_pragmas.adb:14:1: Error: nonstandard: use of non-standard pragma "TODO"
t_pragmas.adb:17:4: Found: all_pragmas: use of pragma "Inline"
t_pragmas.adb:18:4: Error: nonstandard: use of non-standard pragma "Annotate"

Counts summary:
all_pragmas: 6
nonstandard: 3
specific_pragmas: 3
