[Hugs-bugs] cast from pointer to integer losing bits