blob: b00a4fd10ee1c2c4046c64d21b573f4e0570f1cb [file] [log] [blame]
/* For copyright information, see olden_v1.0/COPYRIGHT */
extern int atoi(const char *);
int NumNodes = 1;
int dealwithargs(int argc, char *argv[]) {
int level;
if (argc > 1)
level = atoi(argv[1]);
else
level = 64;
return level;
}