{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"write!("}]}
                        write!(
                        // rustc emits x0 rather than xmm0
                            generated_asm,