HASH(0x7ff450042fe0)