Definition binaryClipsDataSectionAudio (c : clips) : binaryExp :=
  let audioDataSize   := clipAudioDataSizeTotal c in
  let audioDataSize16 := asMultipleOf16 audioDataSize in
    BiRecord [
      ("data", BiReserve audioDataSize16)
    ].
