:
touch stable.out
/bin/rm stable.out
touch stable.tmp
/bin/rm stable.tmp
sm1 -q <mk0.sm1 >stable.tmp 
cat reserved.txt stable.tmp | ./mk | sort | uniq >stable.out