#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]);
}