PROBLEM: (84414, 87419) (PATCH ID: OSF520-1035)
********
awk is not processing the input files given in the BEGIN section.
awk appears to be broken with pipes.