var a08517 = [ [ "multiway_mergesort_tag", "a08517.html#a80a05ea15326f5520cdbbb6229171830", null ], [ "multiway_mergesort_tag", "a08517.html#aa552fa5609232551f9954e0f936b8ad2", null ], [ "__get_num_threads", "a08517.html#a18b32829b31b902699690b750e190e59", null ], [ "set_num_threads", "a08517.html#ac4b2be3fbb957a3754b13167428ab6eb", null ] ];