Bug 962821 - error: cast to pointer from integer of different size [-Werror=int-to-pointer-cast]; r=jcranmer