# Pastebin RjHIqBtK
   c:	00000297          	auipc	t0,0x0
			c: R_RISCV_PCREL_HI20	_boot_lottery
			c: R_RISCV_RELAX	*ABS*
  10:	00028293          	mv	t0,t0
			10: R_RISCV_PCREL_LO12_I	.L0 
			10: R_RISCV_RELAX	*ABS*
  14:	4305                	li	t1,1
  16:	0062a62f          	amoadd.w	a2,t1,(t0)
  1a:	42a1                	li	t0,8
  1c:	08565963          	bge	a2,t0,ae <hart_trap>
			1c: R_RISCV_BRANCH	hart_trap
  20:	00000117          	auipc	sp,0x0
			20: R_RISCV_PCREL_HI20	default_stack_top
			20: R_RISCV_RELAX	*ABS*