/* 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).
*/
/* If current buffer is big enough for requested size, but not
over twice as big (and wasting memory space), we use the
*/
/* If current buffer is big enough for requested size, but not
over twice as big (and wasting memory space), we use the