int main(int argc, char *argv[]) { kr_debug_init("sigmamkv"); if (argc == 4) { other_thing (argv[1], argv[2], argv[3]); } else { if (argc > 3) { if (argc == 5) { kraise_splice (argv[1], argv[2], argv[3]); } if (argc == 4) { splice (argv[1], argv[2], argv[3]); } } } return 0; }
void bar(void) {other_thing();};