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