read_pidlist
if ((pidlist = read_pidlist(&numread, stdin)) == NULL)
if ((pidlist = read_pidlist(&numread, stdin)) == NULL)
if ((pidlist = read_pidlist(&numread, stdin)) == NULL)
extern pid_t *read_pidlist(size_t *, FILE *);
if ((pidlist = read_pidlist(&numread, stdin)) == NULL)
if ((pidlist = read_pidlist(&numread, stdin)) == NULL) {
if ((pidlist = read_pidlist(&numread, stdin)) == NULL)