var a00260 = [ [ "__allocated_ptr", "a04125.html", "a04125" ], [ "__allocate_guarded", "a00260.html#a1fa3f7679aec1619e37fddf24eb70a11", null ] ];
var a00260 = [ [ "__allocated_ptr", "a04125.html", "a04125" ], [ "__allocate_guarded", "a00260.html#a1fa3f7679aec1619e37fddf24eb70a11", null ] ];