int boot_extern(FILE *f, char *fname);
int fextern(char *verb);
int lisextern(void);