This is what it looks like on my laptop with less than 4G:
0x004012f1 <main+0>: push %ebp
0x004012f2 <main+1>: mov %esp,%ebp
0x004012f4 <main+3>: sub $0x18,%esp
0x004012f7 <main+6>: and $0xfffffff0,%esp
Can someone using RAM larger than 4G paste a dump?
I think it should be no longer like 0x004012f7
as its capacity is only 2^32=4G