HASH(0x7ff41c013b68)