var a01511 = [ [ "_Temporary_buffer", "a00534.html", "a00534" ], [ "__uninitialized_construct_buf", "a01511.html#a78ab7c2ddd420afca15474980e4c847b", null ], [ "get_temporary_buffer", "a01511.html#adbf2fd16f9ef4c4d5fd38ff082f61272", null ], [ "return_temporary_buffer", "a01511.html#a8033d777ccff23b31daf2feec4dd46ec", null ] ];