| 1 | /* LINTLIBRARY */ |
| 2 | #include <stdio.h> |
| 3 | exit(s) {;} |
| 4 | long lseek(f, o, d) long o; { return(0); } |
| 5 | char *mktemp(p) char *p; { return(p);} |
| 6 | int (*signal(c, f))() int (*f)(); { return(f); } |
| 7 | char *strcat(a, b) char *a, *b; { ; } |
| 8 | int strcmp(a, b) char *a, *b; { return(1); } |
| 9 | char *strcpy(a, b) char *a, *b; { ; } |
| 10 | int strlen(s) char *s; { return(1); } |
| 11 | long tell(f) { return((long)0); } |
| 12 | long time(t) long *t; { return(0);} |
| 13 | char *calloc(n,s) unsigned n, s; { static char c[1]; return(c); } |
| 14 | char *malloc(n) unsigned n; {static char c; return(&c);} |
| 15 | char *realloc(p, n) char *p; unsigned n; { static char c; return(&c);} |
| 16 | free(p) char *p; {;} |
| 17 | fclose(f) FILE *f; {return(0);} |
| 18 | fflush(f) FILE *f; {return(0);} |
| 19 | char *fgets( s, l, f ) char *s; FILE *f; { return(s); } |
| 20 | FILE *fopen(s,m) char *s, *m; { return(stdin); } |
| 21 | FILE *freopen(s, m, f) char *s, *m; FILE *f; { return(stdin); } |
| 22 | FILE *fdopen(fd, m) char *m; { return(stdin);} |
| 23 | /* VARARGS */ |
| 24 | fprintf( f, s ) FILE *f; char *s; {;} |
| 25 | fputs(s,f) char *s; FILE *f; {;} |
| 26 | fread( p, s, n, f ) char *p; FILE *f; {return(1);} |
| 27 | /* VARARGS */ |
| 28 | fscanf( f, s ) FILE *f; char *s; {return(1);} |
| 29 | int fwrite( p, s, n, f ) char *p; FILE *f; {return(0);} |
| 30 | intss(){return(1); } |
| 31 | /* VARARGS */ |
| 32 | printf( s ) char *s; {;} |
| 33 | rewind(f) FILE *f; {;} |
| 34 | /* VARARGS */ |
| 35 | scanf( f ) char *f; {return(1); } |
| 36 | setbuf( f, b ) FILE *f; char *b; {;} |
| 37 | /* VARARGS */ |
| 38 | char *sprintf( s, f ) char *s, *f; { return(s);} |
| 39 | /* VARARGS */ |
| 40 | sscanf( s, f ) char *s, *f; { return(1); } |
| 41 | ungetc( c, f ) FILE *f; { return(c); } |
| 42 | wdleng(){return(0); } |
| 43 | struct _iobuf _iob[_NFILE]; |
| 44 | char _ctype_[129]; |