Course-of-values_recursion loading ...