/* 
 * x_stdio.h
 *
 * x-kernel v3.3
 *
 * Copyright (c) 1993,1991,1990,1996  Arizona Board of Regents
 *
 * $Revision: 1.1 $
 * $Date: 1996/11/22 20:07:19 $
 */

#ifndef x_stdio_h
#define x_stdio_h

#include <stdio.h>

#endif ! x_stdio_h