HASH(0x7ff438d1e410)