c1 is (n > 1)
one: if
c
1 then