debugger: read32; read 32-bit integer from (little-endian) memory.