HASH(0x7ff438d46c60)