#ifndef _STDIO_UTIL_H_80bbdd3d_
#define _STDIO_UTIL_H_80bbdd3d_

#include <stdio.h>

extern FILE *fopen_accum(char **, int *);

#endif