#ifndef __STDIO_H
#define __STDIO_H 1

int printf (char const* format, ...);

#endif // __STDIO_H