{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"clobbers.push(\"~{st}\".to_string());"}]}
                            clobbers.push("~{st}".to_string());
                            clobbered_x87 = true;
                            for i in 1..=7 {