Please use `static_cast` for this and the other 3 casts to `void *` in this file.  I realize that `make lint` tells you to use `reinterpret_cast` and `reinterpret_cast` is used to cast to/from `void *` at many places in the code (probably most of which are due to my original lint pass through the code base where I blindly followed the tool's advice), but I've since learned that `static_cast` seems to be more correct/portable and `reinterpret_cast` should mostly only be used as a last resort: http://stackoverflow.com/questions/5013596/when-convert-a-void-pointer-to-a-specific-type-pointer-which-casting-symbol-is?rq=1