{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"IntTy::I128"}]}
                IntTy::I128 => BuiltinInt::I128,
                IntTy::I64 => BuiltinInt::I64,
            })),