{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"\"~{flags}\".to_string(),"}]}
                        "~{flags}".to_string(),
                        "~{fpsr}".to_string(),
                    ]);