* gdbcore.h (read_memory_integer, read_memory_unsigned_integer):