urls_downloaded_cb({"token":"Allocating","urls":[{"url":"additional/design/bufferpool.html#allocating-from-pool","node_type":"h2","page":"Bufferpool","sections":["Bufferpool","Allocating from pool"],"context":{"gi-language":["default"]}}]});