HASH(0x7ff430dafb78)