1 int fork(void); 2 int exit(void) __attribute__((noreturn)); 3 int wait(void); 4 int cons_putc(int); 5 int pipe(int*); 6 int write(int, void*, int); 7 int read(int, void*, int); 8 int close(int); 9 int block(void); 10 int kill(int); 11 int panic(char*); 12 int cons_puts(char*); 13 int exec(char *, char **); 14 int open(char *, int); 15 int mknod (char*,short,short,short); 16 int unlink (char*); 17 int fstat (int fd, struct stat *stat); 18 int puts(char*); 19 char* strcpy(char*, char*); 20 void printf(int fd, char *fmt, ...); 21 char *gets(char *, int max); 22 unsigned int strlen(char *); 23