var a00887 = [ [ "_RestrictedBoundedConcurrentQueue", "a08441.html", "a08441" ], [ "_GLIBCXX_VOLATILE", "a00887.html#a1c61e6ca8bdd220c11ec4b64f7539712", null ] ];
var a00887 = [ [ "_RestrictedBoundedConcurrentQueue", "a08441.html", "a08441" ], [ "_GLIBCXX_VOLATILE", "a00887.html#a1c61e6ca8bdd220c11ec4b64f7539712", null ] ];