Definition clipInvariants (c : clip) : Prop :=
     (clipId                        c <= 4294967295)
  /\ (clipSampleRate                c <= 4294967295)
  /\ (clipSampleDepth               c <= 4294967295)
  /\ (clipChannels                  c <= 4294967295)
  /\ (clipOffset                    c <= 18446744073709551615)
  /\ (clipSize                      c <= 18446744073709551615)
  /\ (clipFrameCountLoopRangeOption c (clipLoopRange c))
  .
