/*
 * Simply prints out the arguments on the commandline.
 */

#include <stdio.h>

int main(int argc, char **argv)
{
    int i;

    for (i = 0; i < argc; i++)
	printf("%2d: %s\n", i, argv[i]);

    return 0;
}
.