urls_downloaded_cb({"token":"Printing","urls":[{"url":"tutorials/basic/debugging-tools.html#printing-debug-information","node_type":"h2","page":"Basic tutorial 11: Debugging tools","sections":["Basic tutorial 11: Debugging tools","Printing debug information"],"context":{"gi-language":["default"]}}]});