HASH(0x7ff458de8a30)