#ifndef _STDIO_UTIL_H_bf37efbe_
#define _STDIO_UTIL_H_bf37efbe_

#include <stdio.h>

extern FILE *fopenmalloc(char **);
extern FILE *fopensw(char *, int);

#endif