char *buf = ALLOC_BUF(_IO_BUFSIZ); if (buf == NULL) return EOF;
char *buf;  ALLOC_BUF(buf, _IO_BUFSIZ, EOF);
DEFUN(_IO_default_doallocate, (fp),      _IO_FILE *fp){  char *buf = ALLOC_BUF(_IO_BUFSIZ);  if (buf == NULL)    return EOF;  _IO_setb(fp, buf, buf+_IO_BUFSIZ, 1);  return 1;}