urls_downloaded_cb({"token":"Luckily","urls":[{"url":"tutorials/basic/debugging-tools.html#goal","node_type":"p","page":"Basic tutorial 11: Debugging tools","sections":["Basic tutorial 11: Debugging tools","Goal"],"context":{"gi-language":["default"]}}]});