#ifndef WH_UI_H_c77ef6b2_ #define WH_UI_H_c77ef6b2_ #include "worker.h" extern void ui_main(WORKER *); #endif