u64lo              66 maint/gnulib/lib/sha512.c   ctx->total[0] = ctx->total[1] = u64lo (0);
u64lo              82 maint/gnulib/lib/sha512.c   ctx->total[0] = ctx->total[1] = u64lo (0);
u64lo             131 maint/gnulib/lib/sha512.c   ctx->total[0] = u64plus (ctx->total[0], u64lo (bytes));
u64lo             132 maint/gnulib/lib/sha512.c   if (u64lt (ctx->total[0], u64lo (bytes)))
u64lo             133 maint/gnulib/lib/sha512.c     ctx->total[1] = u64plus (ctx->total[1], u64lo (1));
u64lo             344 maint/gnulib/lib/sha512.c                                     u64lo (u64lt (ctx->total[0], lolen))));
u64lo              41 maint/gnulib/lib/u64.h # define u64size(x) u64lo (x)