HASH(0x7ff42009e420)