#ifndef _STDIO_H_
#define _STDIO_H

#include <stdint.h>
#include <stddef.h>
#include <stdarg.h>

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

#endif