HASH(0x7ff438045f70)