Symbol: HATLOCK_MUTEXP