#include <stdio.h>

int main ()
{
    printf ("This is line %d of file \"%s\".\n",
            __LINE__, __FILE__);
    return 0;
}