HASH(0x7ff414d5c398)