cleaning up 0x5678
cleaning up 0x1234
result is correct