{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"writeln!(w,"}]}
            writeln!(w, "; {}", comment.replace('\n', "\n; "))?;
        if let Some(comment) = self.inst_post_comments.get(&inst) {
        }