7 extern int (*cfs)(int);
13 extern void fatal(char*);
14 extern int readfile(char*, char*, int);
15 extern void run(char*, ...);
16 extern void setenv(char*, char*, int);
17 extern int writefile(char*, char*, int);
18 extern void boot(int, char **);