Symbol: destruct
games/trek/play.c
57
{ "destruct", "", destruct, 0 },
games/trek/trek.h
389
void destruct(int);