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