testC also non-recursive. all assertions pass.