{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"i64:"}]}
            i64: mk(Int(ty::IntTy::I64)),
            i32: mk(Int(ty::IntTy::I32)),
            i128: mk(Int(ty::IntTy::I128)),