HASH(0x7ff444528b18)