#ifndef WH_PRF_H_1a5af929_
#define WH_PRF_H_1a5af929_

#include <aio.h>
#include <stdio.h>

extern void prf_setup(AIO_OQ *);
extern void prf(const char *, ...)
	__attribute__((__format__(__printf__,1,2)));
extern FILE *prf_open(void);

#endif