.insn	r, 0x00000013
	.insn	0x4, rs1
	.insn	0x4 0x5
	.insn	0x4, 0x5, 0x6
	.insn	0x4, 0x0001
	.insn	0x2, 0x00000013