HASH(0x7ff4200a8da0)