I'm just going to put a general "fix styles" comment for this file. Again, whether it passes cpplint or not doesn't change my mind on how some of these styles should be (e.g. always use C++ style casts in C++).