HASH(0x7ff418042ec0)