{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"},"}]}
            },
                ptrs: ptrs.iter().map(|(i, aid)| (*i, tables.prov(*aid))).collect(),
            align,