{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"///"}]}
    /// it's in this list.
    /// then removed. But there was no utility storing it separately, so now
    (removed, no_stack_check, "1.0.0", None, None, 40110),