[Small-cl-src-discuss] Re: [Small-cl-src] with-carry