1#!/bin/sh
2
3hxtoh()
4{
5    flag=1
6    while read -r str; do
7        case $str in
8            HXCOMM*)
9            ;;
10            STEXI*|ETEXI*) flag=$(($flag^1))
11            ;;
12            *)
13            test $flag -eq 1 && printf "%s\n" "$str"
14            ;;
15        esac
16    done
17}
18
19hxtotexi()
20{
21    flag=0
22    while read -r str; do
23        case "$str" in
24            HXCOMM*)
25            ;;
26            STEXI*|ETEXI*) flag=$(($flag^1))
27            ;;
28            DEFHEADING*)
29            echo "$(expr "$str" : "DEFHEADING(\(.*\))")"
30            ;;
31            *)
32            test $flag -eq 1 && echo "$str"
33            ;;
34        esac
35    done
36}
37
38case "$1" in
39"-h") hxtoh ;;
40"-t") hxtotexi ;;
41*) exit 1 ;;
42esac
43
44exit 0
45