#include <stdio.h>

int main()
{
   #line 12345 "Neuer_Dateiname.c"
   printf("Diese Programmzeile steht in Zeile ");
   printf("%d in der Datei %s.\n", __LINE__, __FILE__);

   return 0;
}