let setCData () =
  let (f_decl,f_def) =
    Globals.Functions.fold 
      (fun f (lf_decl,lf_def) -> 
         let name = (Kernel_function.get_name f) in
         match f.Db_types.fundec with 
           | Db_types.Definition _ -> (lf_decl,name::lf_def)
           | Db_types.Declaration _ -> (name::lf_decl,lf_def)) 
      ([],[])
  in
  functions_from_c:=f_def;
  ignored_functions:=f_decl;
  variables_from_c:=
    Globals.Vars.fold (fun v _ lv -> (Pretty_utils.sfprintf "%a" Ast_info.pretty_vname v)::lv) []