// ----------------------------------------------------------------------------
int fgetc( FILE * stream ) { /* TODO */ };
+
+/* PDPC code - unreviewed
+{
+ unsigned char x[1];
+ size_t ret;
+
+ ret = fread(x, 1, 1, stream);
+ if (ret == 0)
+ {
+ return (EOF);
+ }
+ return ((int)x[0]);
+}
+*/