HASH(0x7ff41c06f070)