when cocc is succ

By Zobros

Version: 1

ID: 20379343