// 22 april 2015 #include "test.h" void die(const char *fmt, ...) { // TODO abort(); } int main(void) { printf("hello, world %p\n", uiMain); return 0; }