https://github.com/chapuni commented: `mark` stuffs are just for checking. I thought it better to put stubs of checkers in this change, rather than introducing them when I introduce the body of `verify`. https://github.com/llvm/llvm-project/pull/112724