var a02465 = [ [ "type", "a02465.html#a413bfadb8f6756408c5c6b54fdb1942a", null ], [ "__do_wrap", "a02465.html#a9e0f5eb6d4635e57b44920ff59893198", null ] ];
var a02465 = [ [ "type", "a02465.html#a413bfadb8f6756408c5c6b54fdb1942a", null ], [ "__do_wrap", "a02465.html#a9e0f5eb6d4635e57b44920ff59893198", null ] ];