Casson_invariant loading ...