Symbol: restnames
games/hack/extern.h
278
void restnames(int);
games/hack/hack.save.c
193
restnames(fd);