There is a scheduler underneath our scheduler which is tokio. I think that's what @happy-kitchen-89482 was referring to. That's not our code though.