u64lo              65 lib/sha512.c     ctx->total[0] = ctx->total[1] = u64lo (0);
u64lo              81 lib/sha512.c     ctx->total[0] = ctx->total[1] = u64lo (0);
u64lo             130 lib/sha512.c     ctx->total[0] = u64plus (ctx->total[0], u64lo (bytes));
u64lo             131 lib/sha512.c     if (u64lt (ctx->total[0], u64lo (bytes)))
u64lo             132 lib/sha512.c       ctx->total[1] = u64plus (ctx->total[1], u64lo (1));
u64lo             343 lib/sha512.c                                       u64lo (u64lt (ctx->total[0], lolen))));
u64lo              41 lib/u64.h      # define u64size(x) u64lo (x)