--- /dev/null
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
+<link rel="stylesheet" href="style.css" type="text/css"/>
+<script src="code.js" type="text/javascript"></script>
+
+<h1>What is RISC-V?</h1>
+
+<pre>
+00370613 addi a2,a4,3
+02c13c23 sd a2,56(sp)
+02d108a3 sb a3,49(sp)
+00274703 lbu a4,2(a4)
+03d00793 li a5,61
+3cf70863 beq a4,a5,1ce28 <main+0x1d68>
+000165b7 lui a1,0x16
+c3058593 addi a1,a1,-976 # 15c30 <__mon_yday+0x24d8>
+00500613 li a2,5
+00000513 li a0,0
+964fe0ef jal 1abd0 <dcgettext@plt>
+00050613 mv a2,a0
+00000593 li a1,0
+00000513 li a0,0
+f75fd0ef jal 1a9f0 <error@plt>
+9901b503 ld a0,-1648(gp) # 16bd8 <color_buf>
+accfe0ef jal 1ad50 <free@plt>
+9981b503 ld a0,-1640(gp) # 16be0 <color_ext_list>
+00050a63 beqz a0,1caa0 <main+0x19e0>
+02053983 ld s3,32(a0)
+abcfe0ef jal 1ad50 <free@plt>
+00098513 mv a0,s3
+ff1ff06f j 1ca8c <main+0x19cc>
+9a0180a3 sb zero,-1631(gp) # 16be9 <print_with_color>
+</pre>