{"ast_node_type":"other","tokens":[{"end":101,"kind":"keyword","start":0,"text":"///"}]}
        /// How many worker threads in the main loop. The default `null` means to pick automatically.
        numThreads: Option<NumThreads> = None,