#include <stdio.h>

int main(int argc, char **argv)
{
   fprintf(stderr, "%s:%d:%s\t%s\n", __FILE__, __LINE__, __FUNCTION__, argv[0]);
   fprintf(stderr, "%s:%d:%s\t%s\n", __FILE__, __LINE__, __FUNCTION__, argv[1]);
   fprintf(stderr, "%s:%d:%s\t%s\n", __FILE__, __LINE__, __FUNCTION__, argv[2]);
}