#include "__stdio.h" // for __FILE

#include <fcntl.h> // for O_RDONLY
#include <stdio.h> // for FILE, stdin
#include <sys/cdefs.h>
#include <unistd.h> // for STDOUT_FILENO

#define BUFSIZ 4096

__weak char __stdin_buffer[0];
struct __FILE __stdin = { .fd = STDOUT_FILENO,
			  .flags = O_RDONLY,
			  .buf = __stdin_buffer,
			  .type = 0x0,
			  .buf_size = BUFSIZ,
			  .buf_pos = 0,
			  .offset = 0 };

FILE *const stdin = (FILE *)&__stdin;