#include "stdio.h" int main(int argc, char *argv[]) { extern int lisa_ui_init(); lisa_ui_init(); return 0; }