finish
finish(int need_a_newline)
finish(void)
finish()
finish(int cc)
finish(char *s1, char *s2, int exitcode)