{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"labels.iter().position(|&l|"}]}
                                labels.iter().position(|&l| l == label).expect("wrong rust index");
                            let label_gcc_index =
                            let gcc_index = label_gcc_index + outputs.len() + inputs.len();