#objdump: -dr

dump\.o:     file format .*