{
  printf("%s
\n", $0);
}


syntax highlighted by Code2HTML, v. 0.9.1