19 uint64_t limb0 = fdp.ConsumeIntegral<uint64_t>();
20 uint64_t limb1 = fdp.ConsumeIntegral<uint64_t>();
21 uint64_t limb2 = fdp.ConsumeIntegral<uint64_t>();
22 uint64_t limb3 = fdp.ConsumeIntegral<uint64_t>();
26 int tag_choice = fdp.ConsumeIntegralInRange<
int>(0, 6);
50 assert(
false &&
"unreachable");