1 #source: empty.s -mips32r2 -mfpxx
5 [^:]*: file format elf32-.*
8 0x70000003 off 0x0000.... vaddr 0x004000.. paddr 0x004000.. align 2\*\*3
9 filesz 0x00000018 memsz 0x00000018 flags r--
11 private flags = 70001000: \[abi=O32\] \[mips32r2\] \[not 32bitmode\]
13 MIPS ABI Flags Version: 0
19 FP ABI: Hard float \(32-bit CPU, Any FPU\)