#ifndef _STDIO_H
#define _STDIO_H

#include <sys/cdefs.h>

#define EOF (-1)

int printf(const char * __restrict, ...);

int putchar(int);

int puts(const char *);

#endif