{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"BuiltinUint::U64"}]}
            BuiltinUint::U64 => "u64",
            BuiltinUint::U32 => "u32",
            BuiltinUint::U128 => "u128",