HASH(0x7ff43805d000)