let export_and_clear_globs acc =
  let build _id lv = 
    let ty = Types.mk_ltype lv.lv_type in
    let name = Fol.var_name (Fol.mk_lvar_variable lv ty) in
    Fol.Function (name, [], ty)
  in
    (* no need to export anything in 'var_addr' *) Hashtbl.clear var_addr;
    export_and_clear globals_table build acc