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

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

#endif