{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"write!(clif,"}]}
            write!(clif, " {}", isa_flag).unwrap();
        for isa_flag in module.isa().isa_flags().iter() {
        }