+box: configurable access to timers and /proc/self/{stat,fd}
+box: limit the total amount of data written to files, so that quotas don't have to be set up
+
+TomGav:
+- substitute $VAR without using eval
+- stderr parsers
+- VMMax -> getrusage()
+- clean up names of temporary files
+- machine-readable log file
+- split bin
+- configurable names of in/out files
+- multiple in files (stored as an archive or directory)