let mk_project name = 
  SlicingParameters.feedback ~level:1 "making slicing project '%s'..." name;
  let r = { T.name = name ;
            T.application = Project.current () ;
            T.functions = Cilutil.VarinfoHashtbl.create 17; 
            T.actions = [];
          } in
  SlicingParameters.feedback ~level:2 "done (making slicing project '%s')." name;
  r