Primitive Recursive Function In Toc