#include <spice.h>

SpiceCoreInterface *basic_event_loop_init(void);
void basic_event_loop_mainloop(void);