{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"UintTy::U64"}]}
                UintTy::U64 => BuiltinUint::U64,
                UintTy::U32 => BuiltinUint::U32,
                UintTy::U128 => BuiltinUint::U128,