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