var a00288 = [ [ "allocator_type", "a00288.html#ad2317c121e60028ebd67ff5373f8155a", null ], [ "metadata_type", "a00288.html#ab50cec0ee58c8101c962357ca48dcff5", null ] ];
var a00288 = [ [ "allocator_type", "a00288.html#ad2317c121e60028ebd67ff5373f8155a", null ], [ "metadata_type", "a00288.html#ab50cec0ee58c8101c962357ca48dcff5", null ] ];