These must be volatile ...