// ----------------------------------------------------------------------------
void setbuf( FILE * restrict stream, char * restrict buf ) { /* TODO */ };
+
+/* PDPC code - unreviewed
+{
+ int ret;
+
+ if (buf == NULL)
+ {
+ ret = setvbuf(stream, NULL, _IONBF, 0);
+ }
+ else
+ {
+ ret = setvbuf(stream, buf, _IOFBF, BUFSIZ);
+ }
+ return (ret);
+}
+*/