{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"&format!(\"{}.vcode\","}]}
                &format!("{}.vcode", codegened_func.symbol_name),
                &cx.output_filenames,
                |file| file.write_all(disasm.as_bytes()),