MemMMap/SimState: speed up SimState.get_mem() for large memories