HASH(0x7ff41c05b718)