Lines Matching defs:Succ0