Breakpoint 3, writeln_internal (_thread=0x8457f80, value=4) at lib_object.c:131
131             printf("In writeln_internal value = %d\n", value);
(gdb) info reg
eax            0x8457f80        138772352
ecx            0x41074fb1       1090998193
edx            0xbfffc278       -1073757576
ebx            0x400c36a0       1074542240
esp            0xbfffc210       0xbfffc210
ebp            0xbfffc220       0xbfffc220
esi            0xbfffc334       -1073757388
edi            0x400bd600       1074517504
eip            0x806efd6        0x806efd6
eflags         0x282    642
cs             0x73     115
ss             0x7b     123
ds             0x7b     123
es             0x7b     123
fs             0x0      0
gs             0x33     51
(gdb)