signed tui_main(int argc, char * * argv);