control2.riscv:     file format elf32-littleriscv


Disassembly of section .text:

00000000 <main>:
   0:	00200513          	li	a0,2
   4:	00130313          	addi	t1,t1,1
   8:	00650a63          	beq	a0,t1,1c <choice1>
   c:	00130313          	addi	t1,t1,1
  10:	00650863          	beq	a0,t1,20 <choice2>
  14:	00130313          	addi	t1,t1,1
  18:	00650663          	beq	a0,t1,24 <choice3>

0000001c <choice1>:
  1c:	00c0006f          	j	28 <end>

00000020 <choice2>:
  20:	0080006f          	j	28 <end>

00000024 <choice3>:
  24:	0040006f          	j	28 <end>

00000028 <end>:
  28:	00a00513          	li	a0,10
  2c:	00000073          	ecall