HASH(0x7ff42009e3a8)