pragma [[Ada Programming/Pragmas/{{{1}}}|{{{1}}}]]