HASH(0x7ff438d04f08)