HASH(0x7ff454d557a0)