XDR: opaque nondeterministic_bits<>.
opaque nondeterministic_bits<>
XDR: QueueEntry observed_queue_entry_sequence<kMaxConcurrentRcqReadsPerTx> — max kMaxConcurrentRcqReadsPerTx elements.
QueueEntry observed_queue_entry_sequence<kMaxConcurrentRcqReadsPerTx>
XDR:
opaque nondeterministic_bits<>.