#ifndef DEF_STDIO_H
#define DEF_STDIO_H

#include <stdarg.h>
#include <tce/syscall.h>

extern FILE term;

void print(char *s);
void printf(char *s, ...);
char *readln();

void fprint(FILE f, char *s);
void fprint_int(FILE f, int number);
void fprint_hex(FILE f, unsigned number);
void fprintf(FILE f, char *s, ...);

void vfprintf(FILE f, char *s, va_list arg);


#endif