There are many instances in our codebase (e.g. pretty much all include guards) where variables are declared beginning with a double underscore. As pointed out by clang-tidy(bugprone-reserved-identifier), this results in undefined behaviour since the C++ standard reserves all identifiers beginning with a double underscore.