Why did the value of the rbx register change unexpectedly in GDB? - DevHeads IoT Integration Server