#!/bin/ksh
spacefile="$1".4s
shift
exec space4 "$@" < "$spacefile"
