var a01084 = [ [ "_GLIBCXX_CSTDARG", "a01084.html#a9b1ca932fb36b3d13a27ac9b0ee550a3", null ], [ "va_end", "a01084.html#acd9b3b9085ec072324c5fdac2b40304e", null ] ];
var a01084 = [ [ "_GLIBCXX_CSTDARG", "a01084.html#a9b1ca932fb36b3d13a27ac9b0ee550a3", null ], [ "va_end", "a01084.html#acd9b3b9085ec072324c5fdac2b40304e", null ] ];