How to change the number of threads?

General Usage
,
7

Is that in a terminal REPL or are you using Juno?