====== Contributing ======
Before opening a pull request, check the following:
  * Non-matching functions have been marked with 'NON_MATCHING'
  * Both 'Tools/check.py' and 'Tools/progress.py' have been run
  * Source files and Headers have been formatted with clang-format