HASH(0x7ff42c05b0e0)