./runme: line 46: 29976 Killed $SMLNGOPT "$BASENAME" 2>/dev/null <$SRCDATA 0