+do { $debug_types_section=0; $dwarf=4; } if ($dwarf||0)==40;
+do { $debug_types_section=1; $dwarf=4; } if ($dwarf||0)==41;
+!defined $dwarf or ($dwarf>=2 && $dwarf<=4) or die "--dwarf requires DWARF version number";
+($gdbserver || $valgrind || $gdbindex) and $dwarf and die "--gdbserver|--valgrind|--gdbindex and --dwarf are mutually exclusive";
+$orphanripper=($orphanripper?"orphanripper":"");