--- wikisrc/tutorials/how_to_use_thumb_mode_on_arm.mdwn	2019/04/05 00:03:18	1.4
+++ wikisrc/tutorials/how_to_use_thumb_mode_on_arm.mdwn	2019/04/05 00:11:04	1.5
@@ -53,18 +53,19 @@ While the thumb mode userspace boots and
 
   * thumb mode gcc segfaults on target 
     
-   `# cat > test.c << EOF`
+<pre><code>
+    # cat > test.c << EOF
     > int main(void){
     > return 0;
     > }
     > EOF
-   `# gcc --verbose -Wall test.c`
+    # gcc --verbose -Wall test.c
     Using built-in specs.
     Target: arm--netbsdelf
     Configured with: /usr/src/tools/gcc/../../gnu/dist/gcc4/configure --enable-longtThread model: posix
     gcc version 4.1.3 20080704 prerelease (NetBSD nb1 20080202)
      /usr/libexec/cc1 -quiet -v test.c -quiet -dumpbase test.c -auxbase test -Wall s#include "..." search starts here:
-   `#include <...> search starts here:`
+    #include <...> search starts here:
      /usr/include
     End of search list.
     GNU C version 4.1.3 20080704 prerelease (NetBSD nb1 20080202) (arm--netbsdelf)
@@ -76,13 +77,15 @@ While the thumb mode userspace boots and
     Please submit a full bug report,
     with preprocessed source if appropriate.
     See <http://www.NetBSD.org/Misc/send-pr.html> for instructions.
-    
+</code></pre>
 
 
   * thumb mode gdb segfaults on target 
     
+<pre><code>
     # gdb --verbose /bin/cat
     [1]   Segmentation fault (core dumped) gdb --verbose /bin/cat
+</code></pre>
     
 
 These issues may be solved by upgrading to newer versions of GCC compiler and gdb debugger.