(gdb) watch *(int*)0x12345678