HASH(0x7ff454d55b78)