HASH(0x7ff4200b40b0)