HASH(0x7ff438d09970)