#include <stdio.h>
#define BUFSIZ                                                            (4096)

/** default buffer size **/

/***
is the buffer size used when buffering is adjusted with FUNCTION(setbuf).
***/

/*
VALUE_MIN(256)
*/
/*
STDC(1)
*/