{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
    // main loop! We work around this by marking the main loop as a
    // gets a higher priority, and (on a machine with fewer cores) displaces the
    // higher-priority thread.