#include <stdio.h>
-#include <_PDCLIB_glue.h>
-
#ifndef REGTEST
+#include <_PDCLIB_glue.h>
+
/* Write the value c (cast to unsigned char) to the given stream.
Returns c if successful, EOF otherwise.
If a write error occurs, the error indicator of the stream is set.