(gdb) info registers
r0             0x1                 1
r1             0x7efffc24          2130705444
r2             0x7efffc2c          2130705452
r3             0x400610            4195856
r4             0x4006c8            4196040
r5             0x0                 0
r6             0x400494            4195476
r7             0x0                 0
r8             0x0                 0
r9             0x0                 0
r10            0x411000            4263936
r11            0x7efffad4          2130705108
r12            0x0                 0
sp             0x7efffab8          0x7efffab8
lr             0x76e89d8c          1994956172
pc             0x40061c            0x40061c <main+12>
cpsr           0x600a0010          1611268112
fpscr          0x0                 0
(gdb)