HASH(0x7ff454d71f38)