{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
    /// - `first_local_index..num_universals` are local.
    /// - `first_extern_index..first_local_index` are external,
    first_extern_index: usize,