--- qemu/scripts/hxtool	2018/04/24 18:42:42	1.1
+++ qemu/scripts/hxtool	2018/04/24 19:53:58	1.1.1.2
@@ -47,6 +47,9 @@ hxtotexi()
             DEFHEADING*)
             echo "$(expr "$str" : "DEFHEADING(\(.*\))")"
             ;;
+            ARCHHEADING*)
+            echo "$(expr "$str" : "ARCHHEADING(\(.*\),.*)")"
+            ;;
             *)
             test $flag -eq 1 && echo "$str"
             ;;