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