HASH(0x7ff43805d528)