HASH(0x7ff438032a20)