violate != volatile