HASH(0x7ff424099da0)