This allows selecting e.g. a number of processors for multithreading other than 1,
or to impose a memory cap.