#include <stdio.h>
unsigned __BUFSIZ__data = BUFSIZ;
unsigned *__BUFSIZE = &__BUFSIZ__data;