#ifndef _STDIO_UTIL_H_435599ce_
#define _STDIO_UTIL_H_435599ce_

#include <stdio.h>

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

#endif