HASH(0x7ff42409b5b8)