/*                                  _ o s                                  */

/* Miscellaneous support code. This depends on the configuration
 * file.
 */

#include "stdiolib.h"

/*LINTLIBRARY*/

/* Miscellaneous operating system support code */

#define SOURCE
#include "config.h"