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