C Cast Pointer To Integer