int
main_view_run (int argc, char **argv);