{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"PlainWriter.write_instruction(w,"}]}
        PlainWriter.write_instruction(w, func, aliases, inst, indent)?;
        }
        if let Some(comment) = self.inst_post_comments.get(&inst) {