Kleene_closure loading ...