U64               174 bignum.c       #define U128(a,b,c,d) (((uint128_t)U64(a,b) << 64) | U64(c,d))
U64               260 bignum.c           U64(0x80000000,0x00000000), U64(0xa8b8b452,0x291fe821),
U64               261 bignum.c           U64(0x40000000,0x00000000), U64(0x6765c793,0xfa10079d),
U64               262 bignum.c           U64(0x41c21cb8,0xe1000000), U64(0x36427987,0x50226111),
U64               263 bignum.c           U64(0x80000000,0x00000000), U64(0xa8b8b452,0x291fe821),
U64               264 bignum.c           U64(0x8ac72304,0x89e80000), U64(0x4d28cb56,0xc33fa539),
U64               265 bignum.c           U64(0x1eca170c,0x00000000), U64(0x780c7372,0x621bd74d),
U64               266 bignum.c           U64(0x1e39a505,0x7d810000), U64(0x5b27ac99,0x3df97701),
U64               267 bignum.c           U64(0x10000000,0x00000000), U64(0x27b95e99,0x7e21d9f1),
U64               268 bignum.c           U64(0x5da0e1e5,0x3c5c8000), U64(0xd2ae3299,0xc1c4aedb),
U64               269 bignum.c           U64(0x16bcc41e,0x90000000), U64(0x2d04b7fd,0xd9c0ef49),
U64               270 bignum.c           U64(0x5658597b,0xcaa24000), U64(0xa0e20737,0x37609371),
U64               271 bignum.c           U64(0x0c29e980,0x00000000), U64(0x14adf4b7,0x320334b9),
U64               272 bignum.c           U64(0x226ed364,0x78bfa000), U64(0x383d9170,0xb85ff80b),
U64               273 bignum.c           U64(0x5a3c23e3,0x9c000000), U64(0x8e651373,0x88122bcd),
U64               274 bignum.c           U64(0xdd41bb36,0xd259e000), U64(0x0aee5720,0xee830681),
U64               275 bignum.c           U64(0x10000000,0x00000000), U64(0x172588ad,0x4f5f0981),
U64               276 bignum.c           U64(0x211e44f7,0xd02c1000), U64(0x2ee56725,0xf06e5c71),
U64               277 bignum.c           U64(0x41c21cb8,0xe1000000),