HASH(0x7ff42013a010)