improvements

_posts/cheri/2022-11-19-cheri.md

@@ -208,7 +208,10 @@ fundamental to the idea of capabilities is their _provenance_ and _monotonicity_
 {% highlight plaintext %}
 (gdb) runStarting program: /root/ptrs_as_numbers-cheribsd 
 *x=1234
-Program received signal SIGPROT, CHERI protection violation.Capability tag fault caused by register ca1.0x0000000000101c66 in main () at ptrs_as_numbers.c:1414          printf("*x=%d\n", *x);
+Program received signal SIGPROT, CHERI protection violation.
+Capability tag fault caused by register ca1.
+0x0000000000101c66 in main () at ptrs_as_numbers.c:1414
+          printf("*x=%d\n", *x);
 (gdb) p $ca1
 $1 = () 0x3fffdfff74
 {% endhighlight %}