Currently, the main OS thread executes no threads