newlib.h

#ifndef NEWLIB_H
#define NEWLIB_H

#include <stdint.h>

typedef int FILEHANDLE;

/* Standard IO device handles. */
#define STDIN  0
#define STDOUT 1
#define STDERR 2


#endif