Fix to cast from pointer to integer safely

No match.