0xDAD33EDC ^ 0x186B28AD code example Example: 0xDAD33EDC ^ 0x186B28AD 0xDAD33EDC ^ 0x186B28AD is from verus src