16.3.1 Input/Output Files Input: Object archive files. Output: Object archive files. If no object files are listed as arguments, xc32-objdump assumes the file a.out.