#unix "cat" is aliased to "get" in cLIeNUX. This file is a cut-paste
#convenience and reminder for working on Ha3sm.


c () {
echo "

grep \"()\" /Ha3sm/tool/osimplay

/Ha3sm/code

. c

. ../tool/osimplay


browse .

rm ~l* ~b* ~c*

osimplay top

../tool/clip ~binary  > ~clipped ; wc ~clipped

cp ~clipped /dev/fd0

less ~listing

cat ~listing
"

}

c
