{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
    /// - `FIRST_GLOBAL_INDEX..first_extern_index` are global,
    /// externals, then locals. So, things from:
    /// - `first_extern_index..first_local_index` are external,