proved kernelc length_recursive example