#ifndef __STDIO_H
#define __STDIO_H

#include <stddef.h>

#define fprintf(...) ((void)0)

#endif