1{
2  if( /#line/ && $1 != ($3 - 1)) {
3    printf "Line directive mismatch at line %d: %s\n", NR, $0;
4    exit 1;
5  }
6}
7
8