#ifndef ZEROOS_STDIO_H_
#define ZEROOS_STDIO_H_

#define stdout ((void *)0)
int printf(const char *fmt, ...);
int fflush(void *stream);

#endif