#ifndef STDIO_H
#define STDIO_H
#include <types.h>
#include <printf.h>
char getchar(void);
char* getstring(void);
#endif