#ifndef STDIO_H
#define STDIO_H

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

#define STDIN 0
#define STDOUT 1
#define STDERR 2

int read(uint32_t fd, void* data, size_t max_len);
int write(uint32_t fd, void* data, size_t len);

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

int getstr(char* dest);

char* gets_new(int* num);

void putc(char c);

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

#endif