Kleene's_recursion_theorem loading ...