POLICYFILE=${INTERPRETER//[\/.-]/_}
POLICYFILE=${POLICYFILE/_}
if [[ -r "$POLICYDIR/$POLICYFILE" ]]; then
ulimit -d `ulimit -H -d`
trap 'kill $! && trap - TERM && kill $$' TERM
wait %%
else
print "Internal error: Policy file not readable. Please contact your tutor."
exit 1
fi