#ifndef STDIO_H
#define STDIO_H

#include <types.h>
#include <printf.h>

char getchar(void);
char* getstring(void);
char* gets(void); /* Use this instead of getstring() */

static inline void putchar(char c)
{
  printf("%c", c);
}

#endif