Note that the main thread always has a scheduler