Symbol: restnames
games/hack/hack.h
478
void restnames(int);
games/hack/hack.save.c
190
restnames(fd);