No_cloning_theorem loading ...