urls_downloaded_cb({"token":"WP_TYPE_DEVICE","urls":[{"url":"device.html#WP_TYPE_DEVICE","node_type":"symbol","context":{"gi-language":["c"]}}]});