{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"thin_modules.len()"}]}
        thin_modules.len() as u32,
        thin_modules.as_ptr(),
        symbols_below_threshold.as_ptr(),