~~NOTOC~~
====== Annotation ======

There are 6 annotations that push options to the compilers: