#! /bin/sh

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

bin="@LIBEXECDIR@/pslbuild/psl/bpsl"
img="@LIBEXECDIR@/pslbuild/red/reduce.img"

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