/* stdio.h: The CIVL representation of standard C library stdio.
 * Based on C11 Standard.
 */
#ifdef __STDIO__
#else
#define __STDIO__

#include<civlc.cvh>
#include<stdio.cvl>
#include<stdio-common.h>
#include<stdio-c.cvl>

#endif