debug: the result of hashing mapping might have different order