case A$1 in
  A32|A64);;
  *) echo use 32 or 64 parameter; exit;;
esac
rm -f /usr/local/bin/reduce
mkdir /usr/local/lib/reduce || rm -rf /usr/local/lib/reduce
tar xjpf reduce-$1.tar.bz2 -C /usr/local/lib/reduce
ln -s /usr/local/lib/reduce/reduce /usr/local/bin/reduce