A modified version of Google's cpplint