0x0000000000400507 <main+28>: 74 0c je 0x400515 <main+42>
0x0000000000400509 <main+30>: bf 28 06 40 00 mov $0x400628,%edi
..
0x400507 <main+28>: 0x28bf0c74
Is my conclusion right?
No, Intel CPUs are little endian: http://en.wikipedia.org/wiki/Endianness