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