HASH(0x7ff45850e020)