extern void obey_argv(int argc, char * argv[]);
/* Dissolves old game world if it exists, and generates a new one from "seed".
extern void obey_argv(int argc, char * argv[]);
/* Dissolves old game world if it exists, and generates a new one from "seed".