fix pointer to int cast in functional/search_hsearch.c