/* setvbuf( FILE *, char *, int, size_t )
This file is part of the Public Domain C Library (PDCLib).
/* setvbuf( FILE *, char *, int, size_t )
This file is part of the Public Domain C Library (PDCLib).
int setvbuf( FILE * _PDCLIB_restrict stream, char * _PDCLIB_restrict buf, int mode, size_t size )
{
int setvbuf( FILE * _PDCLIB_restrict stream, char * _PDCLIB_restrict buf, int mode, size_t size )
{