style guide: change this to static_cast<> style formatting for casts of pointers.