#ifndef WH_OUTPUT_H_c4d7dcd3_
#define WH_OUTPUT_H_c4d7dcd3_

#include "worker.h"

extern void output_main(WORKER *);

#endif