{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"u64:"}]}
            u64: mk(Uint(ty::UintTy::U64)),
            u32: mk(Uint(ty::UintTy::U32)),
            u128: mk(Uint(ty::UintTy::U128)),