HASH(0x7ff428063a58)