Cp-4 and recursive functions