HASH(0x7ff43c517f60)