#ifndef DEF_STDIO_H
#define DEF_STDIO_H

#include <stdarg.h>

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, ...);

char* freadln(FILE f);

#endif