My custom version of Google's cpplint.py