{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"(Name::new_symbol_root(sym::u128),"}]}
            (Name::new_symbol_root(sym::u128),  BuiltinType::Uint(BuiltinUint::U128)),
            (Name::new_symbol_root(sym::u64),   BuiltinType::Uint(BuiltinUint::U64)),