Footnote
While pragma is one of the most common terms for this kind of mechanism, some languages call these ``compiler declarations'' or ``compiler switches.'' We simply use the term pragma throughout.