{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            writeln!(w, "; {}", comment.replace('\n', "\n; "))?;
        PlainWriter.write_instruction(w, func, aliases, inst, indent)?;