Fix bug with generating Values for pointers from runtime memory.