#ifndef _STDIO_UTIL_H_7cd3215f_
#define _STDIO_UTIL_H_7cd3215f_

#include <stdio.h>

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

#endif