fn parse_global_var( name: &str, fun_decl_map: &HashMap<usize, FluxDefId>, const_decl_map: &HashMap<usize, DefId>, ) -> Option<Var>