5 /* Input/output <stdio.h>
7 This file is part of the Public Domain C Library (PDCLib).
8 Permission is granted to use, modify, and / or redistribute at will.
11 /* TODO: This is a dummy header to avoid errors when mixing PDCLIB <stdarg.h> */
12 /* with glibc <stdio.h>. */
14 #ifndef _PDCLIB_STDIO_H
15 #define _PDCLIB_STDIO_H _PDCLIB_STDIO_H
18 #define _PDCLIB_AUX_H _PDCLIB_AUX_H
19 #include <_PDCLIB_aux.h>
26 int printf( const char * _PDCLIB_restrict format, ... );
27 int fputs( const char * _PDCLIB_restrict s, FILE * _PDCLIB_restrict stream );
28 int puts( const char * _PDCLIB_restrict s );