HASH(0x7ff40c093858)