Primitive Recursive Function In Toca