Ja, das ist das Beispiel aus der Docu. Dies ändert die line number für die Fehlermeldung. Die #line im source ändert das nicht.