{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"UintTy::U32"}]}
            UintTy::U32 => u32::MAX as u128,
            UintTy::U16 => u16::MAX as u128,
            UintTy::U64 => u64::MAX as u128,