Symbol: smatch