#ifndef RLIBC_STDIO_H
#define RLIBC_STDIO_H

#include <stdarg.h>

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

char getchar(void);

#endif