Make checked pointers volatile