/* Copyright (c) 2001-2009 by SoftIntegration, Inc. All Rights Reserved */
#include <stdio.h>
int setvbuf(FILE *stream, char *buf, int type, size_t size) {
   return _setvbuf(stream, buf, type, size);
}
