{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"});"}]}
                });
                    format!("{}: ", self.store[lbl].name.display(self.db, self.edition))
                self.print_block(label.as_deref(), statements, tail);