HASH(0x7fabf826bd40)