Strictly speaking, the `volatile` here is unnecessary.