case $OUT_TYPE in
file) echo "Output file: $PROBLEM.out"
[ $TASK_TYPE == interactive ] || BOX_EXTRAS="$BOX_EXTRAS -o/dev/null"
case $OUT_TYPE in
file) echo "Output file: $PROBLEM.out"
[ $TASK_TYPE == interactive ] || BOX_EXTRAS="$BOX_EXTRAS -o/dev/null"