1*9a747e4fSDavid du Colombier{ 2*9a747e4fSDavid du Colombier printf("%s %d %s\n", t, NR, $0); 3*9a747e4fSDavid du Colombier} 4