HASH(0x7ff458d707c0)