void edit_rcsid (void);
void err (char *a);
void chk_planet (planet * p);
void whack_player (player *P);
void edit_planet (planet * p);
void rename_player (player *P);
group * einputgroup (player *P);
int main (void);
/*int listlen (void *base);*/
void hackgroup (player *P, group *G);
