The volatile keyword is kinda weird. At some point we decided that letting optimization show up in the semantics of the language was a good idea...