Symbol: lint0