var globals_dup = [ [ "a", "globals.html", null ], [ "c", "globals_c.html", null ], [ "d", "globals_d.html", null ], [ "g", "globals_g.html", null ], [ "m", "globals_m.html", null ], [ "s", "globals_s.html", null ] ];