Symbol: ASSERTWHELD