#ifndef WH_FNPRINTF_H_b543495f_
#define WH_FNPRINTF_H_b543495f_

/* This file is in the public domain. */

extern int fnprintf(void (*)(char), const char *, ...)
	__attribute__ ((__format__(__printf__,2,3)));

#endif