var a00269 = [ [ "__allocated_ptr", "a04692.html", "a04692" ], [ "__allocate_guarded", "a00269.html#a1fa3f7679aec1619e37fddf24eb70a11", null ] ];
var a00269 = [ [ "__allocated_ptr", "a04692.html", "a04692" ], [ "__allocate_guarded", "a00269.html#a1fa3f7679aec1619e37fddf24eb70a11", null ] ];