{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            write!(writer, "{INDENT}switchInt({})", pretty_operand(discr))
        Resume => write!(writer, "{INDENT}resume"),