/*
 * cat.c
 *
 *  Read several file names from the command line.
 *  Concatenate these files and print the result to the standard output.
 */

#include <stdio.h>


// Copy the content of one file to another; assume that the files are open.
// Return the number of characters copied
int
filecopy(FILE *in, FILE *out)
{
    int c, nc;

    for (nc=0; (c = getc(in)) != EOF; nc++) {
        putc(c, out);
    }

    return nc;
}

int
main(int argc, char *argv[])
{
    int i, total_characters=0;
    FILE *in;

    for (i=1 /*skip argv[0]*/; i<argc; i++) {
        in = fopen(argv[i], "r");

        if (in == NULL) {
            fprintf(stderr, "Could not open file %s\n", argv[i]);
            return -1;
        } else {
            fprintf(stderr, "Opened file %s\n", argv[i]);
            total_characters += filecopy(in, stdout);
            fclose(in);
        }
    }

    fprintf (stderr, "Copied a total of %d characters\n", total_characters);

    return 0;
}