On Fri, Feb 09, 2018 at 11:52:48AM -0500, Viktor Dukhovni wrote: > > Still, we're wrong to use int64_t values with "%j" formats. All format > arguments to "%j" need to be "intmax_t". We document printf to be like the C standard, so it should be intmax_t, not int64_t, or we need to fix the documentation. Kurt