urls_downloaded_cb({"token":"execution","urls":[{"url":"opcodes.html#orc-opcodes","node_type":"p","page":"Orc Opcodes","sections":["Orc Opcodes"],"context":{"gi-language":["default"]}},{"url":"running.html#orc_code","node_type":"p","page":"Running Orc Applications","sections":["Running Orc Applications","ORC_CODE"],"context":{"gi-language":["default"]}}]});