#ifndef WH_BLOCK_OUTPUT_H_f9c6a299_
#define WH_BLOCK_OUTPUT_H_f9c6a299_

#include <stdio.h>

extern void out_set_file(FILE *);

#endif