Quieting format warnings about cast (or lack thereof from void ptr)