HASH(0x7fedfc04f000)