1print "# objdump: -d\n";
2print "# name: ia64 $ARGV[0]\n";
3shift;
4
5while (<>) {
6  if (/.*file format.*/) {
7    $_ = ".*: +file format .*\n";
8  } else {
9    s/([][().])/\\$1/g;
10  }
11  print;
12}
13