{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
    // `main_loop` schedules a task to run on a threadpool, the worker threads
    // temporary bumped. This optimization backfires in our case: each time the
    // gets a higher priority, and (on a machine with fewer cores) displaces the