let main () = Ast.compute (); let o prj = object inherit Visitor.frama_c_copy prj method vglob_aux _g = Cil.JustCopy end in ignore (File.create_project_from_visitor "justcopy" o) let () = Db.Main.extend main