Fix to cast from pointer to integer safely