http://www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf
>>> "les compilos ne respectent pas volatile"