#include <lib/dvb_ci/dvbci_ui.h>
extern void runMainloop();
-extern void quitMainloop();
+extern void quitMainloop(int exit_code);
extern void setLCD(const char *c);
extern void setLCDClock(const char *c);
/************** debug **************/
void runMainloop();
-void quitMainloop();
+void quitMainloop(int exit_code);
void setLCD(const char*);
void setLCDClock(const char*);
%immutable keyPressed;