{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"};"}]}
                                };
                                    _ => MaybeInfiniteInt::new_finite_uint(bits),
                                IntRange(IntRange::from_singleton(x))