1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
#ifndef STDIO_H
#define STDIO_H
#include <stdarg.h>
#include <stddef.h>
#include <stdint.h>
#include <sys/types.h>
// FIXME: Most of these should probably not be here. But I am too lazy
// to fix it right now. This is futures mees problem to deal wth.
#define EOF (-1)
#define SEEK_SET 0
#define SEEK_CUR 1
#define SEEK_END 2
#define BUFSIZ 4096
// https://pubs.opengroup.org/onlinepubs/9699919799/functions/setvbuf.html
#define _IOFBF 1 // shall cause input/output to be fully buffered.
#define _IOLBF 2 // shall cause input/output to be line buffered.
#define _IONBF 3 // shall cause input/output to be unbuffered.
typedef long fpos_t;
typedef struct __IO_FILE FILE;
struct __IO_FILE {
size_t (*write)(FILE *, const unsigned char *, size_t);
size_t (*read)(FILE *, unsigned char *, size_t);
int (*seek)(FILE *, long, int);
void (*fflush)(FILE *);
long offset_in_file;
int buffered_char;
int has_buffered_char;
int fd;
uint8_t is_eof;
uint8_t has_error;
uint64_t file_size;
uint8_t *write_buffer;
uint32_t write_buffer_stored;
uint8_t *read_buffer;
uint32_t read_buffer_stored;
uint32_t read_buffer_has_read;
void *cookie;
};
size_t write_fd(FILE *f, const unsigned char *s, size_t l);
size_t read_fd(FILE *f, unsigned char *s, size_t l);
int seek_fd(FILE *stream, long offset, int whence);
void fflush_fd(FILE *f);
typedef struct {
int fd;
} FILE_FD_COOKIE;
extern FILE *__stdin_FILE;
extern FILE *__stdout_FILE;
extern FILE *__stderr_FILE;
#define stdin __stdin_FILE
#define stdout __stdout_FILE
#define stderr __stderr_FILE
void perror(const char *s);
int putchar(int c);
int puts(const char *s);
int brk(void *addr);
void *sbrk(intptr_t increment);
int printf(const char *format, ...);
int mread(int fd, void *buf, size_t count, int blocking);
int pread(int fd, void *buf, size_t count, size_t offset);
int read(int fd, void *buf, size_t count);
int fork(void);
int memcmp(const void *s1, const void *s2, size_t n);
int wait(int *stat_loc);
void exit(int status);
void *memcpy(void *dest, const void *src, uint32_t n);
int shm_open(const char *name, int oflag, mode_t mode);
int dprintf(int fd, const char *format, ...);
int vdprintf(int fd, const char *format, va_list ap);
int vprintf(const char *format, va_list ap);
int snprintf(char *str, size_t size, const char *format, ...);
int vsnprintf(char *str, size_t size, const char *format, va_list ap);
int vfprintf(FILE *f, const char *fmt, va_list ap);
int fgetc(FILE *stream);
int getchar(void);
#define getc(_a) fgetc(_a)
size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream);
size_t fwrite(const void *ptr, size_t size, size_t nmemb, FILE *stream);
FILE *fopen(const char *pathname, const char *mode);
int fclose(FILE *stream);
int fseek(FILE *stream, long offset, int whence);
int fprintf(FILE *f, const char *fmt, ...);
int atoi(const char *str);
long strtol(const char *nptr, char **endptr, int base);
char *strchr(const char *s, int c);
char *strcat(char *s1, const char *s2);
char *fgets(char *s, int n, FILE *stream);
FILE *tmpfile(void);
int feof(FILE *stream);
int fscanf(FILE *stream, const char *format, ...);
int ungetc(int c, FILE *stream);
long ftell(FILE *stream);
int fputc(int c, FILE *stream);
int remove(const char *path);
int ferror(FILE *stream);
int fputs(const char *s, FILE *stream);
int fflush(FILE *stream);
int setvbuf(FILE *stream, char *restrict buf, int type, size_t size);
int fileno(FILE *stream);
int putc(int c, FILE *stream);
int vsprintf(char *str, const char *format, va_list ap);
int sprintf(char *str, const char *format, ...);
FILE *open_memstream(char **bufp, size_t *sizep);
int fsetpos(FILE *stream, const fpos_t *pos);
int fgetpos(FILE *restrict stream, fpos_t *restrict pos);
char *tmpnam(char *s);
int rename(const char *old, const char *new);
size_t getdelim(char **lineptr, size_t *n, int delimiter, FILE *stream);
size_t getline(char **lineptr, size_t *n, FILE *stream);
int vfscanf(FILE *stream, const char *format, va_list ap);
#endif
|
