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