HASH(0x7ff42405a158)