Fredholm_operator loading ...