#ifndef _STDIO_UTIL_H_a924ee2f_
#define _STDIO_UTIL_H_a924ee2f_

#include <stdio.h>

extern FILE *fopenalloc(char **, int *);
extern FILE *fwrap_prefix(FILE *, const char *);

#endif