{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"clobbered_x87"}]}
                            clobbered_x87 = true;
                        if !clobbered_x87 {
                            clobbers.push("~{st}".to_string());