if test ! -f exitval; then return 1; fi
if test 1 -ne $(cat exitval); then return 1; fi
if ! tail -1 err | grep -F 'Pattern "{" exceeds line' > /dev/null; then return 1; fi
delete=1
return 0