#! /bin/sh

case `uname -m` in
i*)
      STORE=16000000
      ;;
x86_64)
      STORE=1000
      ;;
esac

bin="/usr/lib/reduce/pslbuild/psl/bpsl"
img="/usr/lib/reduce/pslbuild/red/reduce.img"

exec $bin -td $STORE -f $img $*