external clone : t -> t = "state_set_clone"