def METHOD_NAME():
    s = SimState(arch="AMD64")
    addr = 0xBA5E0
    ptraddr = 0xCD0
    s.memory.store(ptraddr, claripy.BVV(addr, 64), endness=Endness.LE)
    s.memory.store(addr, b"abcdef\0")
    assert s.mem[ptraddr].deref.string.concrete == b"abcdef"
    s.mem[ptraddr].deref.dword = 123954
    assert s.solver.eval(s.memory.load(addr, 4, endness=Endness.LE), cast_to=int) == 123954
    assert s.mem[ptraddr].deref.dword.concrete == 123954