Customizations.qll
Somewhat analogous to the `Options.qll` module in C++; see module comments for further explanation.