The volatile keyword sometimes does different things on different architectures. I am not sure we even need it.