1 #as: --divide
2 #objdump: -s
3 #name: i386 divide
4 
5 .*: +file format .*
6 
7 Contents of section .*
8  0000 01000000 02000000 03000000 04000000 .*
9  0010 05000000 .*
10